Path: utzoo!attcan!uunet!lll-winken!ames!mailrus!csd4.milw.wisc.edu!schaefer!uhura!quale
From: quale@uhura.cs.wisc.edu (Douglas E. Quale)
Newsgroups: comp.lang.scheme
Subject: Scheme semantics
Keywords: Scheme, programming language semantics
Message-ID: <143@uhura.cs.wisc.edu>
Date: 26 Jan 89 21:18:32 GMT
Organization: Undergraduate Projects Laboratory, University of Wisc. - Madison
Lines: 8

The R3RS section on formal semantics states that the semantic description
was machine generated from an executable specification in Scheme.

Are either of these programs still around? 
Both Scheme semantic description and the translator might be of interest.

 -- Doug Quale
 quale@uhura.cs.wisc.edu