Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.compilers > #799
| 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> (permalink) |
| 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 |
Cross-posted to 3 groups.
Show key headers only | View raw
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).
Back to comp.compilers | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
magic/absurd bash interpreter/compiler ? Avoid9Pdf@gmail.com - 2012-12-23 11:04 +0000
Re: magic/absurd bash interpreter/compiler ? J G Miller <miller@yoyo.ORG> - 2012-12-24 00:28 +0000
Re: magic/absurd bash interpreter/compiler ? "Jonathan Thornburg" <jthorn@astro.indiana.edu> - 2012-12-24 03:57 +0000
Re: magic/absurd bash interpreter/compiler ? Eric <eric@deptj.eu> - 2012-12-24 19:13 +0000
Re: magic/absurd bash interpreter/compiler ? Barry Margolin <barmar@alum.mit.edu> - 2012-12-24 20:48 -0500
Re: magic/absurd bash interpreter/compiler ? glen herrmannsfeldt <gah@ugcs.caltech.edu> - 2012-12-25 03:25 +0000
Re: magic/absurd bash interpreter/compiler ? Eric <eric@deptj.eu> - 2012-12-26 12:51 +0000
Re: magic/absurd bash interpreter/compiler ? glen herrmannsfeldt <gah@ugcs.caltech.edu> - 2012-12-28 03:17 +0000
Re: magic/absurd bash interpreter/compiler ? Barry Margolin <barmar@alum.mit.edu> - 2012-12-28 10:25 -0500
csiph-web