gecko-dev/js2/semantics
..
Calculus.lisp
CalculusMarkup.lisp
ECMA Grammar.html
ECMA Grammar.lisp
ECMA Grammar.rtf
ECMA Grammar.txt
ECMA Lexer Charclasses.rtf
ECMA Lexer.html
ECMA Lexer.lisp
ECMA Lexer.rtf
Grammar.lisp
GrammarSymbol.lisp
HTML.lisp
JS14.html
JS14.lisp
JS14.rtf
Lexer.lisp
Main.lisp
Markup.lisp
Metaparser.lisp
Parser.lisp
README
RTF.lisp
styles.css
Utilities.lisp

js/semantics contains experimental code used to generate LR(1) and LALR(1)
grammars for JavaScript as well as compile and check formal semantics for
JavaScript.  The semantics can be executed directly or printed into either
HTML or Microsoft Word RTF formats.

This code is written in standard Common Lisp.  It's been used under Macintosh
Common Lisp 4.0, but should also work under other Common Lisp implementations.

Contact Waldemar Horwat (waldemar@netscape.com or waldemar@acm.org) for
more information.