Structured Operational Semantics of a fragment of the language Scheme

DOI10.1017/S0956796898003074zbMath0933.68087OpenAlexW2013371621MaRDI QIDQ4236882

Furio Honsell, Alberto Pravato, Simonetta 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)

Related Items

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca