The state of the art in language workbenches: Conclusions from the language workbench challenge
Abstract Language workbenches are tools that provide high-level mechanisms for the
implementation of (domain-specific) languages. Language workbenches are an active area …
implementation of (domain-specific) languages. Language workbenches are an active area …
Layout-sensitive generalized parsing
The theory of context-free languages is well-understood and context-free parsers can be
used as off-the-shelf tools in practice. In particular, to use a context-free parser framework, a …
used as off-the-shelf tools in practice. In particular, to use a context-free parser framework, a …
A framework for extensible languages
Extensible programming languages such as SugarJ or Racket enable programmers to
introduce customary language features as extensions of the base language. Traditionally …
introduce customary language features as extensions of the base language. Traditionally …
[PDF][PDF] Extensible languages for flexible and principled domain abstraction
S Erdweg - 2013 - core.ac.uk
Most programming languages are designed for general-purpose software development in a
one-size-fits-all fashion: They provide the same set of language features and constructs for …
one-size-fits-all fashion: They provide the same set of language features and constructs for …
Modular and automated type-soundness verification for language extensions
F Lorenzen, S Erdweg - Proceedings of the 18th ACM SIGPLAN …, 2013 - dl.acm.org
Language extensions introduce high-level programming constructs that protect
programmers from low-level details and repetitive tasks. For such an abstraction barrier to …
programmers from low-level details and repetitive tasks. For such an abstraction barrier to …
Reasonably programmable literal notation
General-purpose programming languages typically define literal notation for only a small
number of common data structures, like lists. This is unsatisfying because there are many …
number of common data structures, like lists. This is unsatisfying because there are many …
The Kansas University Rewrite Engine: A Haskell-embedded strategic programming language with custom closed universes
N Sculthorpe, N Frisby, A Gill - Journal of Functional Programming, 2014 - cambridge.org
When writing transformation systems, a significant amount of engineering effort goes into
setting up the infrastructure needed to direct individual transformations to specific targets in …
setting up the infrastructure needed to direct individual transformations to specific targets in …
A calculus for multi-language operational semantics
M Cimini - International Workshop on Numerical Software …, 2021 - Springer
We present λ L, a statically typed lambda-calculus with languages as first-class citizens. In λ
L, languages can be defined and used to execute programs and, furthermore, they also can …
L, languages can be defined and used to execute programs and, furthermore, they also can …
Modular specification and dynamic enforcement of syntactic language constraints when generating code
A key problem in metaprogramming and specifically in generative programming is to
guarantee that generated code is well-formed with respect to the context-free and context …
guarantee that generated code is well-formed with respect to the context-free and context …
Reusable components for lightweight mechanisation of programming languages
SH Haeri, S Schupp - International Conference on Software Composition, 2013 - Springer
Abstract Implementing Programming Languages (PLs) has always been a challenge for
various reasons. One reason is the excess of routine tasks to be redone on every …
various reasons. One reason is the excess of routine tasks to be redone on every …