Re: Programming language specification languages

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

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