A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters


A rewrite logic semantic definitional framework for programming languages is introduced, called K, together with partially automated translations of K language definitions into rewriting logic and into C. The framework is exemplified by defining SILF, a simple imperative language with functions. The translation of K definitions into rewriting logic enables the use of the various analysis tools developed for rewrite logic specifications, while the translation into C allows for very efficient interpreters. A suite of tests show the performance of interpreters compiled from K definitions.

Proceedings of the 6th International Workshop on Rewriting Logic and its Applications (WRLA 2006)
Mark Hills
Mark Hills
Associate Professor

My research interests include programming languages, program analysis, and software engineering.