gecko-dev/js2/semantics
waldemar%netscape.com 97b9e110fc Big switchover to Algol-style semantics 2001-04-12 04:33:39 +00:00
..
HTML-To-RTF Removed ' 2001-04-12 04:32:52 +00:00
JS14 Updated to work under Allegro Common Lisp 1999-11-20 02:16:56 +00:00
JS20 Switchover to Algol-style semantics 2001-04-12 04:31:46 +00:00
JSECMA Renamed string-equal to string= 2001-03-02 23:15:33 +00:00
Test Big switchover to Algol-style semantics 2001-04-12 04:33:39 +00:00
Calculus.lisp Switchover to Algol-style semantics 2001-04-12 04:31:46 +00:00
CalculusMarkup.lisp Switchover to Algol-style semantics 2001-04-12 04:31:46 +00:00
Grammar.lisp Switchover to Algol-style semantics 2001-04-12 04:31:46 +00:00
GrammarSymbol.lisp Switchover to Algol-style semantics 2001-04-12 04:31:46 +00:00
HTML.lisp Switchover to Algol-style semantics 2001-04-12 04:31:46 +00:00
Lexer.lisp Switchover to Algol-style semantics 2001-04-12 04:31:46 +00:00
Main.lisp Switchover to Algol-style semantics 2001-04-12 04:31:46 +00:00
Markup.lisp Switchover to Algol-style semantics 2001-04-12 04:31:46 +00:00
Metaparser.lisp Updated to Mozilla 1.1 license 1999-11-03 03:58:07 +00:00
Parser.lisp Switchover to Algol-style semantics 2001-04-12 04:31:46 +00:00
README Added Allegro reference 1999-11-20 02:18:26 +00:00
RTF.lisp Switchover to Algol-style semantics 2001-04-12 04:31:46 +00:00
Utilities.lisp Added hash-table-= 2001-02-01 03:41:18 +00:00
styles.css Brought up to date 2001-04-12 04:32:17 +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.