An operational semantics for R5RS Scheme

An operational semantics for R5RS Scheme (2005)

Cached

Download Links

[www.cs.uchicago.edu]

by Robert Bruce Findler

Venue:	In Workshop on Scheme and Functional Programming
Citations:	13 - 3 self

Versions

Version History

Metadata Version 1

Datum	Value	Source
TITLE	An operational semantics for R5RS Scheme	SVM HeaderParse 0.2
AUTHOR NAME	Robert Bruce Findler	SVM HeaderParse 0.2
ABSTRACT	In addition to contributing a specification of Scheme, this paperpresents several novel modeling techniques for Felleisen Hieb-style rewriting semantics that we discovered while developing our R5RSScheme semantics. All are applicable to a wider range of problems than the specific uses we have for them, and the fact that theycombine seamlessly in our full R5RS model shows that they scale to real languages. 1. Introduction The Revised5 Report on the Algorithmic Language Scheme [15],R5RS, provides an informal, English specification of Scheme and a denotational model of a core Scheme language. The denota-tional specification is more precise than the informal specification, but is also incomplete with respect to it. For instance, the formalspecification does not present the top-level mentioned throughout the informal specification, and is missing key procedures such asdynamic-wind and eval whose inclusion could have a significant impact on the formalism. While that is not necessarily a problem-- the measure of a model is not its completeness but its ability to clearly and accurately explain its subject-- Gasbichler et al's re-cent explanation of the difficulties involving dynamic contexts and threads [12], for instance, demonstrate that the formal model is in-sufficient for some important questions.	SVM HeaderParse 0.2
YEAR	2005	INFERENCE
VENUE	In Workshop on Scheme and Functional Programming	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
CITATIONS	5 found	ParsCit 1.0