Result: The SLANG Semantics-Based Language Generator : RISC Report Series, 23-13

Title:
The SLANG Semantics-Based Language Generator : RISC Report Series, 23-13
Authors:
Schreiner, Wolfgang, Steingartner, William
Publisher Information:
Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz
Publication Year:
2023
Collection:
Johannes Kepler University Linz: JKU
Subject Terms:
formal semantics of programming languages, denotational semantics, operational semantics, type systems, interpreters
Subject Geographic:
UL:TN:SR
Document Type:
Book book
File Description:
59 Seiten; text/html
Language:
English
Relation:
vignette : https://epub.jku.at/titlepage/urn/urn:nbn:at:at-ubl:3-21174/128; local:99147681216603331; system:AC16955486
DOI:
10.35011/risc.23-13
Availability:
https://doi.org/10.35011/risc.23-13
https://epub.jku.at/doi/10.35011/risc.23-13
https://resolver.obvsg.at/urn:nbn:at:at-ubl:3-21174
Rights:
CC BY 4.0
Accession Number:
edsbas.A6F403B5
Database:
BASE

Further Information

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.