Files in this item

FilesDescriptionFormat

application/pdf

application/pdfilseman-ellison-rosu-2010-tr.pdf (257kB)
Technical ReportPDF

Description

Title:On Compiling Rewriting Logic Language Definitions into Competitive Interpreters
Author(s):Ilseman, Michael; Ellison, Chucky M.; Rosu, Grigore
Subject(s):K
Rewriting Logic
formal semantics
interpreters
Abstract: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 faster than directly executing the definition in a Rewriting system with improvements of several orders of magnitude.
Issue Date:2010-12-14
Citation Info:@techreport{ilseman-ellison-rosu-2010-tr, author = "Michael Ilseman and Chucky Ellison and Grigore Ro{\c s}u", institution={University of Illinois}, number={ http://hdl.handle.net/2142/17444 }, title = "On Compiling Rewriting Logic Language Definitions into Competitive Interpreters", month = "December", year = "2010", }
Genre:Technical Report
Type:Text
Language:English
URI:http://hdl.handle.net/2142/17444
Publication Status:unpublished
Peer Reviewed:not peer reviewed
Date Available in IDEALS:2010-12-15


This item appears in the following Collection(s)

Item Statistics