An equational specification for the Scheme language

Marcelo D'Amorim, Grigore Rosu

Research output: Contribution to journalArticlepeer-review


This work describes the formal semantics of SCHEME 3 as an equational theory in the MAUDE rewriting system. The semantics is based on continuations and is highly modular. We briefly investigate the relationship between our methodology for defining programming languages and other semantic formalisms. We conclude by showing some performance results of the interpreter obtained for free from the executable specification.

Original languageEnglish (US)
Pages (from-to)1327-1348
Number of pages22
JournalJournal of Universal Computer Science
Issue number7
StatePublished - Sep 28 2005


  • Equational specification
  • Formal and executable semantics
  • Program analysis

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'An equational specification for the Scheme language'. Together they form a unique fingerprint.

Cite this