From Syntactic Theories to Interpreters: A Specification Language and Its Compilation

Simple item page
dc.creatorXiao, Yong
dc.creatorAriola, Zena M.
dc.creatorMauny, Michel
dc.date2000-09-29
dc.date.accessioned2026-07-07T03:16:35Z
dc.date.available2026-07-07T03:16:35Z
dc.descriptionRecent years have seen an increasing need of high-level specification languages and tools generating code from specifications. In this paper, we introduce a specification language, {\splname}, which is tailored to the writing of syntactic theories of language semantics. More specifically, the language supports specifying primitive notions such as dynamic constraints, contexts, axioms, and inference rules. We also introduce a system which generates interpreters from {\splname} specifications. A prototype system is implemented and has been tested on a number of examples, including a syntactic theory for Verilog.
dc.descriptionAccepted in Rule-based Programming Workshop, 2000, 16 pages
dc.identifierhttps://arxiv.org/abs/cs/0009030
dc.identifierhttp://arxiv.org/abs/cs/0009030
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/30408
dc.subjectProgramming Languages
dc.subjectSoftware Engineering
dc.subjectD.2.1; D.1.2; D.3.1; F.3.1; F.3.2; I.2.2
dc.titleFrom Syntactic Theories to Interpreters: A Specification Language and Its Compilation
dc.typetext

Files

Collections

arXiv