Re: Z grammar for ANTLR (Monty Zukowski)
31 Mar 2002 23:27:46 -0500

          From comp.compilers

Related articles
Z grammar for ANTLR (2002-03-22)
Re: Z grammar for ANTLR (2002-03-31)
| List of all articles for this month |

From: (Monty Zukowski)
Newsgroups: comp.compilers
Date: 31 Mar 2002 23:27:46 -0500
References: 02-03-150
Keywords: parse
Posted-Date: 31 Mar 2002 23:27:46 EST (Ann Todd) wrote in message news:02-03-150...
> Could anyone point me to a Z grammar suitable for use with

On 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

Post a followup to this message

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