pjs/semantics в f947b992d59fe851ac171374a7395326b79cbba4 - pjs

История

waldemar%netscape.com 60174b9647 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.