Re: Programming language specification languages

nmm1@cus.cam.ac.uk (Nick Maclaren)
21 Oct 2001 21:25:18 -0400

          From comp.compilers

Related articles
[5 earlier articles]
Re: Programming language specification languages vbdis@aol.com (2001-09-26)
Re: Programming language specification languages wclodius@aol.com (2001-10-06)
Re: Programming language specification languages joachim_d@gmx.de (Joachim Durchholz) (2001-10-06)
Re: Programming language specification languages joachim_d@gmx.de (Joachim Durchholz) (2001-10-06)
Re: Programming language specification languages neelk@alum.mit.edu (2001-10-10)
Re: Programming language specification languages wclodius@aol.com (2001-10-20)
Re: Programming language specification languages nmm1@cus.cam.ac.uk (2001-10-21)
| List of all articles for this month |

From: nmm1@cus.cam.ac.uk (Nick Maclaren)
Newsgroups: comp.compilers
Date: 21 Oct 2001 21:25:18 -0400
Organization: University of Cambridge, England
References: 01-10-020 01-10-102
Keywords: design, algol68
Posted-Date: 21 Oct 2001 21:25:18 EDT



Wclodius <wclodius@aol.com> wrote:
>Nick's message indicated that he was very familiar with the Algol 68
>specification, which is given by a van Wijngaarden grammar (this type
>of grammar was developed in conjunction with Algol 68), and he wanted
>that level of specification accuracy. Unfortunately he also wanted
>automated tools to validate the specification and use the
>spedification to do as much of the implementation as possible, and
>such tools do not seem to be available for two level grammars.


Not very familiar - but I know a little about them!


And, yes, that is one of the objectives. But, even at the level of
the specification alone, a lot of what I am interested in seems to be
beyond them. Things like aliasing constraints, which are so critical
for high-reliability programs.


Regards,
Nick Maclaren,
University of Cambridge Computing Service,
New Museums Site, Pembroke Street, Cambridge CB2 3QG, England.
Email: nmm1@cam.ac.uk
Tel.: +44 1223 334761 Fax: +44 1223 334679


Post a followup to this message

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