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 …

Evaluating and comparing language workbenches: Existing results and benchmarks for the future

S Erdweg, T Van Der Storm, M Völter, L Tratt… - … Languages, Systems & …, 2015 - Elsevier
Abstract Language workbenches are environments for simplifying the creation and use of
computer languages. The annual Language Workbench Challenge (LWC) was launched in …

A theory of name resolution

P Néron, A Tolmach, E Visser, G Wachsmuth - … ESOP 2015, Held as Part of …, 2015 - Springer
We describe a language-independent theory for name binding and resolution, suitable for
programming languages with complex sco** rules including both lexical sco** and …

Intrinsically-typed definitional interpreters for imperative languages

C Bach Poulsen, A Rouvoet, A Tolmach… - Proceedings of the …, 2017 - dl.acm.org
A definitional interpreter defines the semantics of an object language in terms of the (well-
known) semantics of a host language, enabling understanding and validation of the …

Language design with the spoofax language workbench

GH Wachsmuth, GDP Konat, E Visser - IEEE software, 2014 - ieeexplore.ieee.org
IDEs are essential for programming language developers, and state-of-the-art IDE support is
mandatory for programming languages to be successful. Although IDE features for …

A constraint language for static semantic analysis based on scope graphs

H Antwerpen, P Néron, A Tolmach, E Visser… - Proceedings of the …, 2016 - dl.acm.org
In previous work, we introduced scope graphs as a formalism for describing program
binding structure and performing name resolution in an AST-independent way. In this paper …

A language designer's workbench: a one-stop-shop for implementation and verification of language designs

E Visser, G Wachsmuth, A Tolmach, P Neron… - Proceedings of the …, 2014 - dl.acm.org
The realization of a language design requires multiple artifacts that redundantly encode the
same information. This entails significant effort for language implementors, and often results …

Scope graphs: The story so far

A Zwaan, H van Antwerpen - Eelco Visser Commemorative …, 2023 - drops.dagstuhl.de
Static name binding (ie, associating references with appropriate declarations) is an essential
aspect of programming languages. However, it is usually treated in an unprincipled manner …

Hyperast: Enabling efficient analysis of software histories at scale

Q Le Dilavrec, DE Khelladi, A Blouin… - Proceedings of the 37th …, 2022 - dl.acm.org
Abstract Syntax Trees (ASTs) are widely used beyond compilers in many tools that measure
and improve code quality, such as code analysis, bug detection, mining code metrics …

[PDF][PDF] Language Composition via Kind-Typed Symbol Tables.

A Butting, J Michael, B Rumpe - J. Object Technol., 2022 - jot.fm
The modularization of domain-specific modeling languages (DSMLs) fosters individual
reuse of DSMLs in different contexts. Within this article, we discuss how it is possible to refer …