Structured Operational Semantics of a fragment of the language Scheme

DOI10.1017/S0956796898003074MaRDI QIDQ4236882zbMATH OpenOpenAlexFDO

Authors Furio Honsell, Alberto Pravato, Simona Ronchi Della Rocca

Publication date 18 May 1999

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

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

zbMATH Keywords

structured operational semantics

Mathematics Subject Classification ID

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

Recommendations

• An operational semantics for Scheme
• A structural approach to operational semantics
• The semantics of Scheme with future
• Revised report on the algorithmic language scheme

Cited in

(9)

• A structural operational semantics for an Edison-like language
• A structural operational semantics for an Edison like language. II
• The semantics of Scheme with future
• scientific article; zbMATH DE number 1231613 (Why is no real title available?)
• A small step for mankind
• An operational semantics for Scheme
• The expressive power of Structural Operational Semantics with explicit assumptions
• Analyzing the environment structure of higher-order languages using frame strings
• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca

This page was built for publication: Structured Operational Semantics of a fragment of the language Scheme

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