[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Scheme-reports] Formal comment: The denotational semantics
- To: will@x
- Subject: Re: [Scheme-reports] Formal comment: The denotational semantics
- From: "Perry E. Metzger" <perry@x>
- Date: Sat, 7 Jul 2012 17:17:26 -0400
- Cc: scheme-reports@x
- In-reply-to: <24176942.1931661341677412109.JavaMail.root@zimbra>
- References: <6370550.1931581341677285477.JavaMail.root@zimbra> <24176942.1931661341677412109.JavaMail.root@zimbra>
On Sat, 7 Jul 2012 12:10:12 -0400 (EDT) will@x wrote:
> So far as I can tell, the current state of the art for
> describing the formal semantics of Scheme is described
> by these two papers, which were presented at the 2008
> Workshop on Scheme and Functional Programming:
As a general process question: could WG1 vote in the "English" part
of the spec and later amend it with a completed formal semantics
(possibly with some minor patches to deal with ambiguities
discovered in the course of creating them)? The formal semantics might
take a while, but it would be a shame not to have them.
Perry
--
Perry E. Metzger perry@x
_______________________________________________
Scheme-reports mailing list
Scheme-reports@x
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports