Wolfgang Schreiner, William Steingartner,
"The SLANG Semantics-Based Language Generator"
, Serie RISC Report Series, Johannes Kepler University Linz, Austria, Nummer 23-13, RISC, JKU, Hagenberg, Linz, 9-2023, ISSN: 2791-4267
The SLANG Semantics-Based Language Generator
Sprache des Titels:
This report documents the SLANG semantics-based language generator. SLANG is a software for generating rapid prototype implementations of programming languages from their formal specifications. Its input is a text file that describes the abstract syntax of a language and its concrete text representation; from this, a parser is generated (utilizing the ANTLR4 tool) that transforms the text representation of a program into its abstract syntax tree and a printer that generates from the abstract syntax tree its text representation. Furthermore, one can equip the language with a formal type system (by logical inference rules) from which a type checker is generated. Finally, one can give the language a formal semantics, in the denotational style (by function equations) and/or in the big-step operational style (by transition steps); from this, a language interpreter is generated. SLANG is implemented in Java and produces Java source code; it should be easy to extend the software also to other target languages.
Sprache der Kurzfassung:
RISC Report Series, Johannes Kepler University Linz, Austria