[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Scheme semantics

To: scheme@mc.lcs.mit.edu
Subject: Scheme semantics
From: schaefer!uhura!quale@csd4.milw.wisc.edu (Douglas E. Quale)
Date: Thu ,26 Jan 89 17:18:32 EDT
Organization: Undergraduate Projects Laboratory, University of Wisc. - Madison
Sender: scheme-request@mc.lcs.mit.edu

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

Follow-Ups:
- Scheme semantics
  - From: jar@void.ai.mit.edu (Jonathan Rees)

Prev by Date: Request for scheme code
Next by Date: actually about Xscheme
Previous by thread: Request for scheme code
Next by thread: Scheme semantics
Index(es):
- Date
- Thread