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

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

2000-09-29

arxiv.org/abs/cs/0009030v1

Computer Science

Programming Languages

Accepted in Rule-based Programming Workshop, 2000, 16 pages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

From Syntactic Theories to Interpreters: A Specification Language and Its Compilation does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with From Syntactic Theories to Interpreters: A Specification Language and Its Compilation, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and From Syntactic Theories to Interpreters: A Specification Language and Its Compilation will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-2952