Path: utzoo!mnetor!uunet!husc6!mailrus!ames!ucsd!sdcsvax!ucsdhub!hp-sdd!hplabs!otter!esh
From: esh@otter.hple.hp.com (Sean Hayes)
Newsgroups: comp.lang.misc
Subject: Re: Block Closure (was Re: FOR loops)
Message-ID: <2400017@otter.hple.hp.com>
Date: 25 Apr 88 09:30:42 GMT
References: <918@rlgvax.UUCP>
Organization: Hewlett-Packard Laboratories, Bristol, UK.
Lines: 20

> There are other grammar formalisms besides CFGs.  For example, vW
> or two level grammars.  While the typical reader may not want to
> read a vW grammar, the language could be defined with a vW grammar
> so that compiler writers could check their compilers.  The user
> could be told about indentation.
> --- David Gast

Oh those lovely vW grammars! One of the best courses I did at Uni. was
reading and writing vW grammars. But, are there any automatic tools to
test/maintain/verify such beasts, for they are less than intuitive.
More importantly perhaps, are there any tools to automatically generate
parsers?

On a more practical subject. I think that something like the Cornell Program
Synthesiser system (an attribute grammar parser generator), 
would be entirely up to the task of enforcing indentation etc. In fact I 
may even try it!
 _________________________________________________________________________
 |Sean Hayes,          Hewlett Packard Laboratories,      Bristol,  England|
 |net: esh@hplb.uucp   esh%shayes@hplabs.HP.COM       ..!mcvax!ukc!hplb!esh|