ACL2.
ACL2 ist sowohl eine Programmiersprache, in der Sie Computersysteme und ein Werkzeug modellieren können, um Ihnen zu helfen, die Eigenschaften von Modellen zu erweisen. ...
 | Cl-yacc.CL-yacc ist ein Lalr (1) Parsergenerator für gemeinsame Lisp, ähnlich im Geist von AT yacc, Berkeley Yacc, Gnu Bison, Zebu usw. |
| Jetzt downloaden | |
Cl-yacc. Ranking & Zusammenfassung
Anzeige
- Lizenz:
- MIT/X Consortium Lic...
- Preis:
- FREE
- Name des Herausgebers:
- Juliusz Chroboczek
- Website des Verlags:
- http://www.pps.jussieu.fr/~jch/software/cpc/
Cl-yacc. Stichworte
Cl-yacc. Beschreibung
Cl-Yacc ist ein Lalr (1) Parsergenerator für gemeinsame Lispe, ähnlich im Geist yacc, Berkeley Yacc, Gnu Bison, Zebu usw. Cl-yacc ist ein lalr (1) Parsergenerator für gemeinsame Lisp, ähnlich im Geist von AT yacc, Berkeley Yacc, Gnu Bison, Zebu, Lalr.cl oder lalr.scm.cl-yacc verwendet den Algorithmus aufgrund von AHO und Ullman, Welches ist derjenige, der auch von ATT YACC, Berkeley Yacc und Zebu verwendet wird. Es nutzt nicht den schnelleren Algorithmus aufgrund der Deremer und Pennello, der von Bison und Lalr.scm verwendet wird (nicht mit lalr.cl). Während CL-yacc nicht ohne systematische Prüfung unterzogen wurde, benutze ich es zum Kompilieren einer Grammatik für einen Superset C (über 400 Productions), der routinemäßig Tausende von Zeilen von C-Code analysiert. Hier sind einige wichtige Funktionen von "cl-yacc": · Kostenlose Software mit sehr liberalen Umverteilungsbestimmungen (Kopieren); · Eine einzelne Datei, die Sie gerne mit Ihrer Anwendung verteilen können. · Angemessene (jedoch nicht ausstehende) Leistung; · Unterstützung für mehrdeutige Grammatiken (Bedienereign und Assoziativität). Was ist neu in dieser Version: · Töten Sie YACC-EOF-Symbol, verwenden Sie stattdessen NIL. · Fügen Sie abstrakte Bedingungsarten hinzu. · Fügen Sie ein komplettes Beispiel (Taschenrechner.lisp) hinzu.
Cl-yacc. Zugehörige Software
