# Browse College of Engineering by Author "Ilseman, Michael"

• (2010-12-14)
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 ...

application/pdf

PDF (257kB)