gecko-dev/js2/semantics
waldemar%netscape.com ae9043e328 Changed bottom expressions to syntax error throws 1999-10-20 20:58:07 +00:00
..
JS14 First Checked In. 1999-05-10 20:52:58 +00:00
JS20 Changed syntax of getters and setters to "get name" and "set name". Relaxed grammar constraints on definitions. Changed over to colon syntax for types. Added local visibility and block modifiers. 1999-10-20 00:46:31 +00:00
JSECMA Removed rational-to-integer and types in bottom calls, which were replaced by semantic subtyping 1999-10-20 00:42:17 +00:00
Test Changed bottom expressions to syntax error throws 1999-10-20 20:58:07 +00:00
Calculus.lisp Added semantic subtyping, throw, and catch 1999-10-20 00:40:55 +00:00
CalculusMarkup.lisp Added semantic subtyping, throw, and catch 1999-10-20 00:40:55 +00:00
Grammar.lisp Added support for lookahead constraints 1999-06-03 20:52:04 +00:00
GrammarSymbol.lisp Added general-grammar-symbol? predicate 1999-06-03 20:50:21 +00:00
HTML.lisp Replaced :unit by :empty-10 1999-07-27 00:58:01 +00:00
Lexer.lisp Made lexer-actions into global function calls 1999-07-27 01:00:05 +00:00
Main.lisp Added RegExp to load path 1999-05-17 05:04:28 +00:00
Markup.lisp Added references and depict-styled-text 1999-05-10 21:03:07 +00:00
Metaparser.lisp First Checked In. 1999-01-30 01:19:00 +00:00
Parser.lisp Added support for lookahead constraints 1999-06-03 20:52:04 +00:00
README First Checked In. 1999-01-30 01:19:00 +00:00
RTF.lisp Fixed bug that would sometimes emit a newline between a backslash and its following escaped character 1999-10-20 00:40:04 +00:00
Utilities.lisp Added partial order library 1999-07-27 00:58:44 +00:00
styles.css Updated to match styles.css on documentation site 1999-05-10 21:02:22 +00:00
unicodeCompatibility.js Added upper-case Greek letters 1999-10-20 20:57:37 +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, but should also work under other Common Lisp implementations.

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