@techreport{6070e4e2d6fa41b28c4b3e6353f9808f,
title = "Semantics-Based Rapid Prototyping of a Subset of SQL",
abstract = "This report documents the application of our semantics-based language generator SLANG to developing a rapid prototype of a non-trivial domain-specific language, a substantial subset of the Structured Query Language SQL that we have named SubSQL. After developing a mathematical/logical formulation of the language{\textquoteright}s abstract syntax, formal type system, and denotational semantics, we have translated this formulation into a SLANG specification from which the SLANG software generates Java code that implements a parser, a printer, a type-checker, and an executor of the language. This implementation is based on several manually created Java classes that implement the mathematical domains and operations used in the formalization, a simple persistent database, and a high-level application programming interface that allows to execute complete SubSQL scripts from file or individual SubSQL commands within Java programs. The results represent a blueprint for the semantics-based development of other domain-specific languages of similar complexity.",
author = "Wolfgang Schreiner and William Steingartner",
year = "2025",
month = feb,
doi = "10.35011/risc.25-02",
language = "English",
series = "RISC Report Series",
publisher = "RISC, JKU",
number = "25-02",
type = "WorkingPaper",
institution = "RISC, JKU",
}
