pjs/js2/semantics
waldemar%netscape.com 589c6baca5 Added support for list-sets, some, and every. Removed tuple and record tags. Made many minor semantic notation improvements. 2001-09-10 22:10:36 +00:00
..
HTML-To-RTF Removed type-expression 2001-08-23 04:22:56 +00:00
JS14
JS20 Added support for list-sets, some, and every. Removed tuple and record tags. Made many minor semantic notation improvements. 2001-09-10 22:10:36 +00:00
JSECMA Renamed truncate-float64 to truncate-finite-float64 2001-08-10 23:26:50 +00:00
Test Added support for list-sets, some, and every. Removed tuple and record tags. Made many minor semantic notation improvements. 2001-09-10 22:10:36 +00:00
Calculus.lisp Added support for list-sets, some, and every. Removed tuple and record tags. Made many minor semantic notation improvements. 2001-09-10 22:10:36 +00:00
CalculusMarkup.lisp Added support for list-sets, some, and every. Removed tuple and record tags. Made many minor semantic notation improvements. 2001-09-10 22:10:36 +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 Removed type-expression 2001-08-23 04:22:56 +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
Parser.lisp Switchover to Algol-style semantics 2001-04-12 04:31:46 +00:00
README
RTF.lisp Removed type-expression 2001-08-23 04:22:56 +00:00
Utilities.lisp Added support for list-sets, some, and every. Removed tuple and record tags. Made many minor semantic notation improvements. 2001-09-10 22:10:36 +00:00
styles.css Brought up to date 2001-08-11 06:53:35 +00:00
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.