OpenProofPower 2.7.1 - SLRP Parser Generator

Rob Arthan <>
6 May 2003 19:13:10 -0400

          From comp.compilers

Related articles
OpenProofPower 2.7.1 - SLRP Parser Generator (Rob Arthan) (2003-05-06)
| List of all articles for this month |

From: Rob Arthan <>
Newsgroups: comp.compilers
Date: 6 May 2003 19:13:10 -0400
Organization: Lemma 1 Ltd.
Keywords: parse, tools, available
Posted-Date: 06 May 2003 19:13:10 EDT

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


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:


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(

Post a followup to this message

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