Formal Language Parsing

This project would be to implement a parser for the Z Specification language, using the Haskell programming language. The parser should be compliant with the official Z standard as far as possible.

http://en.wikipedia.org/wiki/Z_notation

No comments:

Post a Comment