Path: csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!news.glorb.com!news-out.readnews.com!news-xxxfer.readnews.com!news.misty.com!news.iecc.com!.POSTED!nerds-end
From: J G Miller <miller@yoyo.ORG>
Newsgroups: comp.compilers,comp.unix.shell,comp.os.linux.misc
Subject: Re: magic/absurd bash interpreter/compiler ?
Date: Mon, 24 Dec 2012 00:28:21 +0000 (UTC)
Organization: A noiseless patient Spider
Lines: 14
Sender: johnl@iecc.com
Approved: comp.compilers@iecc.com
Message-ID: <12-12-015@comp.compilers>
References: <12-12-014@comp.compilers>
NNTP-Posting-Host: news.iecc.com
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
X-Trace: leila.iecc.com 1356317616 11334 64.57.183.58 (24 Dec 2012 02:53:36 GMT)
X-Complaints-To: abuse@iecc.com
NNTP-Posting-Date: Mon, 24 Dec 2012 02:53:36 +0000 (UTC)
Keywords: design
Posted-Date: 23 Dec 2012 21:53:36 EST
X-submission-address: compilers@iecc.com
X-moderator-address: compilers-request@iecc.com
X-FAQ-and-archives: http://compilers.iecc.com
Xref: csiph.com comp.compilers:799 comp.unix.shell:6257 comp.os.linux.misc:6893

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).