|Z grammar for ANTLR firstname.lastname@example.org (2002-03-22)|
|Re: Z grammar for ANTLR email@example.com (2002-03-31)|
|From:||firstname.lastname@example.org (Monty Zukowski)|
|Date:||31 Mar 2002 23:27:46 -0500|
|Posted-Date:||31 Mar 2002 23:27:46 EST|
email@example.com (Ann Todd) wrote in message news:02-03-150...
> Could anyone point me to a Z grammar suitable for use with
On http://www.antlr.org/showcase.html there is an entry for ABTools
from which I quote:
The B method due to J.R Abrial is a formal method for the
incremental development of specifications and their refinements
down to an implementation. It is a model-based approach similar
to Z and VDM.
That grammar might get you started on a Z grammar.
Return to the
Search the comp.compilers archives again.