SILF

From FSL

The SILF language, a Simple Imperative Language with Functions, is a simple language used to illustrate techniques in language definition using rewriting logic and the K framework.

[edit] Current Release

The files are available here. These include the basic files, some samples, and an experimental modification with an improved memory model (which makes execution more efficient). Note you will need Maude to run these.

• all the files in the current distribution: SILF.tar.gz
• SILF syntax and semantics: SILF.maude
• SILF syntax and semantics, with experimental memory model: SILF-stacked.maude
• example programs: SILF-examples.maude

These files were last updated on December 28, 2005.

[edit] Publications

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

Mark Hills, Traian Florin Serbanuta and Grigore Rosu
WRLA'06, ENTCS 176(4), pp. 215-231, 2007
PDF, Experiments, WRLA'06, BIB