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

Mark Hills | Zendy; Traian Florin Şerbănuţă | Zendy; Grigore Roşu | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

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

Author(s) -

Mark Hills,

Traian Florin Şerbănuţă,

Grigore Roşu

Publication year - 2007

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2007.06.017

Subject(s) - rewriting , programming language , computer science , interpreter , logic programming , equational logic , suite , translation (biology) , biochemistry , chemistry , archaeology , messenger rna , gene , history

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research