eFLINT Haskell Implementation

Binsbergen, L. Thomas van; Liu, Lu-Chi; Doesburg, Robert van; Engers, Tom van

doi:10.1145/3410256

Cited by 2 publications

(1 citation statement)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The methodology of Section 5 has been applied to develop two REPLs on top of one exploring interpreter for eFLINT. The implementation of eFLINT is available at GitLab [42].…”

Section: Eflint: Executable Normative Specificationsmentioning

confidence: 99%

A principled approach to REPL interpreters

Binsbergen

Merino

Jeanjean

et al. 2020

Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Sof

Self Cite

View full text Add to dashboard Cite

Read-eval-print-loops (REPLs) allow programmers to test out snippets of code, explore APIs, or even incrementally construct code, and get immediate feedback on their actions. However, even though many languages provide a REPL, the relation between the language as is and what is accepted at the REPL prompt is not always well-defined. Furthermore, implementing a REPL for new languages, such as DSLs, may incur significant language engineering cost.In this paper we survey the domain of REPLs and investigate the (formal) principles underlying REPLs. We identify and define the class of sequential languages, which admit a sound REPL implementation based on a definitional interpreter, and present design guidelines for extending existing language implementations to support REPL-style interfaces (including computational notebooks). The obtained REPLs can then be generically turned into an exploring interpreter, to allow exploration of the user's interaction.The approach is illustrated using three case studies, based on MiniJava, QL (a DSL for questionnaires), and eFLINT (a DSL for normative rules). We expect sequential languages, and the consequent design principles, to be stepping stones towards a better understanding of the essence of REPLs.

show abstract

“…The methodology of Section 5 has been applied to develop two REPLs on top of one exploring interpreter for eFLINT. The implementation of eFLINT is available at GitLab [42].…”

Section: Eflint: Executable Normative Specificationsmentioning

confidence: 99%

A principled approach to REPL interpreters

Binsbergen

Merino

Jeanjean

et al. 2020

Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Sof

Self Cite

View full text Add to dashboard Cite

show abstract

eFLINT: a domain-specific language for executable norm specifications

Binsbergen

Liu

Doesburg

et al. 2020

Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences

Self Cite

View full text Add to dashboard Cite

Software systems that share potentially sensitive data are subjected to laws, regulations, policies and/or contracts. The monitoring, control and enforcement processes applied to these systems are currently to a large extent manual, which we rather automate by embedding the processes as dedicated and adaptable software services in order to improve efficiency and effectiveness. This approach requires such regulatory services to be closely aligned with a formal description of the relevant norms.This paper presents eflint, a domain-specific language developed for formalizing norms. The theoretical foundations of the language are found in transition systems and in Hohfeld's framework of legal fundamental conceptions. The language can be used to formalize norms from a large variety of sources. The resulting specifications are executable and support several forms of reasoning such as automatic case assessment, manual exploration and simulation. Moreover, the specifications can be used to develop regulatory services for several types of monitoring, control and enforcement. The language is evaluated through a case study formalizing articles 6(1)(a) and 16 of the General Data Protection Regulation (GDPR). A prototype implementation of eflint is discussed and is available online.

show abstract

eFLINT Haskell Implementation

Cited by 2 publications

References 0 publications

A principled approach to REPL interpreters

A principled approach to REPL interpreters

eFLINT: a domain-specific language for executable norm specifications

Contact Info

Product

Resources

About