gecko-dev/js2/semantics
waldemar%netscape.com 24cfb9a514 Checkpoint 2002-03-07 01:12:41 +00:00
..
HTML-To-RTF Updated license 2002-02-04 21:13:45 +00:00
JS14 Replaced %section and %subsection by %heading with an adjustable level number 2001-10-19 23:18:03 +00:00
JS20 Checkpoint 2002-03-07 01:12:41 +00:00
JSECMA Removed license 2002-02-04 21:09:05 +00:00
Test Updated license 2002-02-04 21:13:45 +00:00
Calculus.lisp Added unique-elt-of 2002-03-04 23:48:39 +00:00
CalculusMarkup.lisp Changed formatting of elt-of and unique-elt-of 2002-03-04 23:49:03 +00:00
Grammar.lisp Updated license 2002-02-04 21:13:45 +00:00
GrammarSymbol.lisp Updated license 2002-02-04 21:13:45 +00:00
HTML.lisp Updated license 2002-02-04 21:13:45 +00:00
Lexer.lisp Updated license 2002-02-04 21:13:45 +00:00
Main.lisp Updated license 2002-02-04 21:13:45 +00:00
Markup.lisp Updated license 2002-02-04 21:13:45 +00:00
Metaparser.lisp Updated license 2002-02-04 21:13:45 +00:00
Parser.lisp Updated license 2002-02-04 21:13:45 +00:00
README Added Allegro reference 1999-11-20 02:18:26 +00:00
RTF.lisp Added m-dash 2002-02-04 21:09:29 +00:00
Utilities.lisp Added delete-adjacent-duplicates 2002-02-04 21:09:51 +00:00
styles.css Renamed type to domain 2001-10-19 00:50:40 +00:00
unicodeCompatibility.js Updated to match documentation site 2000-08-11 06:24:57 +00:00

README

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, and Allegro Common Lisp 5.0.1 for Windows, but should also work
under other Common Lisp implementations.

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