Fandom

Formal Methods Wiki

PRECC

120pages on
this wiki
Add New Page
Talk0 Share
Redo

PRECC — A PREttier Compiler-Compiler

Peter Breuer and Jonathan Bowen



See also:


Introduction Edit

PRECC eXtended is an infinite-lookahead compiler-compiler for context dependent grammars developed during and after the ESPRIT II REDO project. The generated code is ANSI C. Specification scripts are in very extended BNF with inherited and synthetic attributes allowed. Scripts can be compiled in separate modules, and linked together later. Meta-production rules are allowed. The technology is essentially LL(Infinity) with optimizations. A converter for {wp|yacc}} scripts is available.

News concerning PRECC is issued from time to time on the moderated (and therefore recommended) comp.compilers newsgroup including in the language tools catalog.


PRECCX Edit

Versions of PRECCX are available for use under UNIX (e.g., on a Sun workstation) in gzip (compressed) tar format and also for use on a PC under MS-DOS as several zip format files.

A Z notation grammar is available in info-zip format and gzipped Unix tar format for use with PRECC. The former is suitable for use under DOS, apart from the Unix makefile. See PRECC support for parsing the Z notation.

See new Web interface to PRECC 2.* (PRECCX) CVS Tree.

Small-warning
Please note that PRECCX under continual development and is available on an as is basis, although comments are of course welcome.

Documentation Edit

The following online documentation is available:

See also the PRECC examples above.


Papers and reports Edit

The following papers and report concerned with PRECC have been published and/or are available online:


See also:


For further information, please contact Peter Breuer on ptb@it.uc3m.es or Jonathan Bowen.

See also Spanish site.

Part of the REDO project archive.

Ad blocker interference detected!


Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.