The state of the art in language workbenches: Conclusions from the language workbench challenge

S Erdweg, T Van Der Storm, M Völter… - … Conference, SLE 2013 …, 2013 - Springer
Abstract Language workbenches are tools that provide high-level mechanisms for the
implementation of (domain-specific) languages. Language workbenches are an active area …

Layout-sensitive generalized parsing

S Erdweg, T Rendel, C Kästner… - … Language Engineering: 5th …, 2013 - Springer
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 …

A framework for extensible languages

S Erdweg, F Rieger - Proceedings of the 12th international conference …, 2013 - dl.acm.org
Extensible programming languages such as SugarJ or Racket enable programmers to
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 …

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 …

Reasonably programmable literal notation

C Omar, J Aldrich - Proceedings of the ACM on Programming …, 2018 - dl.acm.org
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 …

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 …

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 …

Modular specification and dynamic enforcement of syntactic language constraints when generating code

S Erdweg, V Vergu, M Mezini, E Visser - Proceedings of the 13th …, 2014 - dl.acm.org
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 …

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 …