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

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

Recent 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.
Accepted in Rule-based Programming Workshop, 2000, 16 pages

Keywords

Programming Languages, Software Engineering, D.2.1; D.1.2; D.3.1; F.3.1; F.3.2; I.2.2

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/30408

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/cs/0009030
 http://arxiv.org/abs/cs/0009030

Collections

arXiv