Re: Z grammar for ANTLR

mzukowski@bco.com (Monty Zukowski)
31 Mar 2002 23:27:46 -0500

          From comp.compilers
Related articles
Z grammar for ANTLR anntodd40@hotmail.com (2002-03-22)
Re: Z grammar for ANTLR mzukowski@bco.com (2002-03-31)
| List of all articles for this month |
From: mzukowski@bco.com (Monty Zukowski)
Newsgroups: comp.compilers
Date: 31 Mar 2002 23:27:46 -0500
Organization: http://groups.google.com/
References: 02-03-150
Keywords: parse
Posted-Date: 31 Mar 2002 23:27:46 EST

anntodd40@hotmail.com (Ann Todd) wrote in message news:02-03-150...
> Could anyone point me to a Z grammar suitable for use with
> ANTLR.


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.


Monty Zukowski
www.codetransform.com

Post a followup to this message

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