An operational semantics for Scheme

DOI10.1017/S0956796807006478MaRDI QIDQ5437033zbMATH OpenFDO

Authors Jacob Matthews, Robert Bruce Findler

Publication date 18 January 2008

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0956796807006478

zbMATH Keywords

Felleisen-Hieb-style rewriting semanticsmodeling techniques

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• Structured Operational Semantics of a fragment of the language Scheme
• The semantics of Scheme with future
• Revised report on the algorithmic language scheme
• Scheme: A interpreter for extended lambda calculus
• scientific article; zbMATH DE number 3938530

Cited in

(9)

• A structural operational semantics for an Edison-like language
• Scheme: A interpreter for extended lambda calculus
• A structural operational semantics for an Edison like language. II
• From specification to testing: semantics engineering for Lua 5.2
• Revised\(^{6}\) report on the algorithmic language scheme
• Semantics engineering with PLT Redex
• Structured Operational Semantics of a fragment of the language Scheme
• Operational semantics using the partiality monad
• An operational semantics for object-oriented concepts based on the class hierarchy

This page was built for publication: An operational semantics for Scheme

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5437033)