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

*To*: matthias@rice.edu*Subject*: Re: mathematical models*From*: Jeffrey Mark Siskind <qobi@qobi.nj.nec.com>*Date*: Wed, 4 Jun 1997 08:31:31 -0400*Cc*: rrrs-authors@martigny.ai.mit.edu, hbaker@netcom.com, jgm@cs.cornell.edu, shriram@cs.rice.edu, ramsdell@linus.mitre.org, feeley@iro.umontreal.ca, kelsey@research.nj.nec.com, will@ccs.neu.edu*In-Reply-To*: <199706040150.UAA04408@europa.cs.rice.edu> (message from MatthiasFelleisen on Tue, 3 Jun 1997 20:50:54 -0500 (CDT))*Reply-To*: Qobi@research.nj.nec.com

ML is the only language (I know of) that has a fully mathematical specification. I remember reading a paper around 1977 that contained a W-grammar specification of the syntax and semantics of an Algol-68-like language. (No it was not the Algol-68 report. That contained a specification only of the (context sensitive) syntax of Algol-68.) The basic idea was that the W-grammar generated strings of the form input$program$output. I have long forgotten the title and author of the paper. Can someone refresh my memory? I remember being rather impressed with it at the time. Jeff (http://www.neci.nj.nec.com/homepages/qobi.html)

**Follow-Ups**:**Re: mathematical models***From:*Mitchell Wand <wand@ccs.neu.edu>

**Re: mathematical models***From:*Matthias Felleisen <matthias@cs.rice.edu>

**References**:**mathematical models***From:*Matthias Felleisen <matthias@cs.rice.edu>

- Prev by Date:
**mathematical models** - Next by Date:
**Re: mathematical models** - Prev by thread:
**mathematical models** - Next by thread:
**Re: mathematical models** - Index(es):