pjs/js2/semantics
waldemar%netscape.com 8e38044aab Changed instanceof to is and removed no-line-break constraint after use 2001-06-30 02:29:52 +00:00
..
HTML-To-RTF Removed ' 2001-04-12 04:32:52 +00:00
JS14
JS20 Changed instanceof to is and removed no-line-break constraint after use 2001-06-30 02:29:52 +00:00
JSECMA
Test Big switchover to Algol-style semantics 2001-04-12 04:33:39 +00:00
Calculus.lisp
CalculusMarkup.lisp
Grammar.lisp
GrammarSymbol.lisp
HTML.lisp
Lexer.lisp
Main.lisp
Markup.lisp
Metaparser.lisp
Parser.lisp
README
RTF.lisp Added RTF cleanup utilities and a hack to read and write improper RTF commands that contain upper-case letters. 2001-06-09 01:04:16 +00:00
Utilities.lisp
styles.css
unicodeCompatibility.js

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.