OpenProofPower 2.7.1 - SLRP Parser Generator

I am pleased to announce that version 2.7.1 of OpenProofPower is now
available. For more information see:


                http://www.lemma-one.com/ProofPower/index/index.html


The new version includes many enhancements and has been built and
tested on Apple's Mac OS X as well as on Linux and Solaris. For a
description of the enhancements see:


                http://www.lemma-one.com/ProofPower/getting/changes.html


While I hope specification and theorem-proving are of interest in the
compiler-writing community, the SLRP Parser Generator included in the
PPDev package in OpenProofPower may be of particular interest to
readers of this group. It is an SLR(1) and LALR(1) parser generator
written in Standard ML (and generating Standard ML) using the very
neat formulation of the LALR(1) algorithm due to Bermudez and
Logothetis. It now comes with a user guide incorporating many tutorial
examples. It may be of interest to anyone teaching parser construction
to students who know Standard ML.


Rob Arthan(rda@lemma-one.com)

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