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. ...
 | StyxEin Scanner- / Parsergenerator, der einige Mängel von Lex / YACC angeht |
| Jetzt downloaden | |
Styx Ranking & Zusammenfassung
Anzeige
- Lizenz:
- LGPL
- Preis:
- FREE
- Name des Herausgebers:
- Lars Dlle, Heike Manns
- Website des Verlags:
- http://www.speculate.de/styx/
Styx Stichworte
Styx Beschreibung
Ein Scanner- / Parsergenerator, der einige Mängel von Lex / yacc angeht STYX ist ein Scanner- und Parsergenerator, der mit einigen Mängeln der traditionellen Lex / YACC-Kombination entworfen wurde. Voller Quellinformationen und hübsches Drucken zur Erleichterung von Quellquellenübersetzungen, Persistenz, um ein schnelles Dolmetscherschreiben zu erleichtern OSES, darunter DOS, Windows und Serveral Unixes.it wurde in vielen Anwendungen erfolgreich eingesetzt und bietet bekanntermaßen eine schnelles Compiler-Entwicklung. Sowohl von unserer praktischen Erfahrung als auch aus der Höhe des schriftlichen Codes ist der Gewinn in der Entwicklungszeit für realistische Sprachen gegen Lex / yacc ein Faktor von etwa 5-10.
Styx Zugehörige Software
