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.