PRECC - A PREttier Compiler-Compiler
Edit Page
Report
Scan day: 07 February 2014 UTC
36
Virus safety - good
Description: An infinite-lookahead parser generator for context-dependent grammars which generates ANSI C code. Specification scripts are in very extended BNF with inherited and synthetic attributes allowed. Converter for yacc scripts is available as well as documentation and related papers.
PRECC — A PREttier Compiler-Compiler is an infinite-lookahead compiler-compiler for context dependent grammars developed during and after the ESPRIT II . Specification scripts are in very extended 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(
Size: 388 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | PRECC - Formal Methods Wiki |
| Keywords: | Formal Methods Wiki,formalmethods,PRECC,Jonathan Bowen,REDO |
| Description: | PRECC — A PREttier Compiler-Compiler Peter Breuer and Jonathan Bowen See also: Z notation... |
| IP-address: | 185.31.16.194 |
WHOIS Info
| NS | Name Server: NS1.P11.DYNECT.NET Name Server: NS2.P11.DYNECT.NET Name Server: NS3.P11.DYNECT.NET Name Server: NS4.P11.DYNECT.NET |
| WHOIS | Status: ok |
| Date | Creation Date: 08-dec-2003 Expiration Date: 08-dec-2020 |