Re: magic/absurd bash interpreter/compiler ?

J G Miller <miller@yoyo.ORG>
Mon, 24 Dec 2012 00:28:21 +0000 (UTC)

          From comp.compilers
Related articles
magic/absurd bash interpreter/compiler ? Avoid9Pdf@gmail.com (2012-12-23)
Re: magic/absurd bash interpreter/compiler ? miller@yoyo.ORG (J G Miller) (2012-12-24)
Re: magic/absurd bash interpreter/compiler ? jthorn@astro.indiana.edu (Jonathan Thornburg) (2012-12-24)
Re: magic/absurd bash interpreter/compiler ? eric@deptj.eu (Eric) (2012-12-24)
Re: magic/absurd bash interpreter/compiler ? barmar@alum.mit.edu (Barry Margolin) (2012-12-24)
Re: magic/absurd bash interpreter/compiler ? gah@ugcs.caltech.edu (glen herrmannsfeldt) (2012-12-25)
Re: magic/absurd bash interpreter/compiler ? eric@deptj.eu (Eric) (2012-12-26)
Re: magic/absurd bash interpreter/compiler ? gah@ugcs.caltech.edu (glen herrmannsfeldt) (2012-12-28)
[1 later articles]
| List of all articles for this month |
From: J G Miller <miller@yoyo.ORG>
Newsgroups: comp.compilers,comp.unix.shell,comp.os.linux.misc
Date: Mon, 24 Dec 2012 00:28:21 +0000 (UTC)
Organization: A noiseless patient Spider
References: 12-12-014
Keywords: design
Posted-Date: 23 Dec 2012 21:53:36 EST

On Sunday, December 23rd, 2012, at 11:04:07h +0000,
Chris Glurr burbled:


> We need a rigorous/formal syntax for computing.


Have you considered the Z formal specification notation,


    <http://formalmethods.wikia.COM/wiki/Z_notation>


now an ISO standard -- ISO/IEC 13568:2002


    <http://www.iso.ORG/iso/catalogue_detail.htm?csnumber=21573>


You can buy your own copy at a mere CHF 238 (approximately ZAR 2320).

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.