gecko-dev

История

waldemar%netscape.com 3efff59168 Added optional parameters to %print-actions		2001-09-27 05:40:20 +00:00
..
HTML-To-RTF	Added support for algorithm styles	2001-09-25 03:49:47 +00:00
JS14	Updated to work under Allegro Common Lisp	1999-11-20 02:16:56 +00:00
JS20	Added support for the 'named' function parameter attribute. Removed .class. Renamed production names to British spelling.	2001-09-25 03:48:53 +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 -> covariance and contravariance	2001-09-27 05:39:52 +00:00
CalculusMarkup.lisp	Added optional parameters to %print-actions	2001-09-27 05:40:20 +00:00
Grammar.lisp	Transitioned to paragraph/DIV-based styles	2001-09-20 00:13:32 +00:00
GrammarSymbol.lisp	Switchover to Algol-style semantics	2001-04-12 04:31:46 +00:00
HTML.lisp	Tweaked HTML formatting	2001-09-25 03:51:12 +00:00
Lexer.lisp	Transitioned to paragraph/DIV-based styles	2001-09-20 00:13:32 +00:00
Main.lisp	Switchover to Algol-style semantics	2001-04-12 04:31:46 +00:00
Markup.lisp	Transitioned to paragraph/DIV-based styles	2001-09-20 00:13:32 +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	Tweaked Word styles	2001-09-25 03:49:27 +00:00
Utilities.lisp	Added time-to-string and time-to-short-string	2001-09-20 00:12:13 +00:00
styles.css	Added algorithm, stmt, and lvl styles. Obsoleted semantics styles.	2001-09-25 03:50:36 +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.