Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.compilers > #799
| 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 | 2012-12-24 00:28 +0000 |
| Organization | A noiseless patient Spider |
| Message-ID | <12-12-015@comp.compilers> (permalink) |
| References | <12-12-014@comp.compilers> |
Cross-posted to 3 groups.
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