From Syntactic Theories to Interpreters: A Specification Language and Its Compilation (bibtex)
by Yong Xiao, Zena Ariola, Michel Mauny
Abstract:
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, SL, which is featured in writing 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 SL specifications. A prototype system is implemented and has been tested on a number of examples, including a syntactic theory for Verilog.
Reference:
Y. Xiao, Z. Ariola and M. Mauny, "From Syntactic Theories to Interpreters: A Specification Language and Its Compilation", in First International Workshop on Rule-Based Programming (RULE 2000), N. Derschowitz, C. Kirchner, Eds..
Bibtex Entry:
@inproceedings{Xiao-Ariola-Mauny-2000,
  author =       {Yong Xiao and Zena Ariola and Michel Mauny},
  title =        {From Syntactic Theories to Interpreters:
                  A Specification Language and Its Compilation},
  booktitle =    {First International Workshop on Rule-Based
                  Programming (RULE 2000)},
  year =      {2000},
  editor =    {Nachum Derschowitz and Claude Kirchner},
  month =     sep,
  url = {http://xxx.lanl.gov/abs/cs.PL/0009030/},
  abstract = {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, SL, which is
    featured in writing 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 SL specifications.
    A prototype system is implemented and has been tested on
    a number of examples, including a syntactic theory for Verilog.}
}
Powered by bibtexbrowser