On Compiling Rewriting Logic Language Definitions into Competitive Interpreters

  title={On Compiling Rewriting Logic Language Definitions into Competitive Interpreters},
  author={Michael Ilseman and Chucky Ellison and Grigore Rosu},
This paper describes a completely automated method for generating efficient and competitive interpreters from formal semantics expressed in Rewriting Logic. The semantics are compiled into OCaml code, which then acts as the interpreter for the language being defined. This automatic translation is tested on the semantics of an imperative as well as a functional language, and these generated interpreters are then benchmarked across a number of programs. In all cases the compiled interpreter is… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 24 references

Algebraic Specification

  • J. A. Bergstra
  • ACM, New York, NY, USA,
  • 1989
Highly Influential
5 Excerpts

URL http://fsl.cs. uiuc.edu/index.php/K-Maude

  • T F.
  • Şerbănuţă. K-maude website,
  • 2009
1 Excerpt

All About Maude, A High-Performance Logical Framework, volume

  • M. Clavel, F. Durán, +4 authors C. Talcott
  • 2007
1 Excerpt

Similar Papers

Loading similar papers…