gecko-dev

История

waldemar%netscape.com 9b65975763 Reformatted actions to merge procedures from multiple expansions of a nonterminal. Removed U_equiv form of functions.		2001-10-03 21:01:38 +00:00
..
HTML-To-RTF	Reformatted actions to merge procedures from multiple expansions of a nonterminal. Removed U_equiv form of functions.	2001-10-03 21:01:38 +00:00
JS14	…
JS20	Reformatted actions to merge procedures from multiple expansions of a nonterminal. Removed U_equiv form of functions.	2001-10-03 21:01:38 +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	Reformatted actions to merge procedures from multiple expansions of a nonterminal. Removed U_equiv form of functions.	2001-10-03 21:01:38 +00:00
CalculusMarkup.lisp	Reformatted actions to merge procedures from multiple expansions of a nonterminal. Removed U_equiv form of functions.	2001-10-03 21:01:38 +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	Reformatted actions to merge procedures from multiple expansions of a nonterminal. Removed U_equiv form of functions.	2001-10-03 21:01:38 +00:00
Lexer.lisp	Reformatted actions to merge procedures from multiple expansions of a nonterminal. Removed U_equiv form of functions.	2001-10-03 21:01:38 +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	…
Parser.lisp	Switchover to Algol-style semantics	2001-04-12 04:31:46 +00:00
README	…
RTF.lisp	Reformatted actions to merge procedures from multiple expansions of a nonterminal. Removed U_equiv form of functions.	2001-10-03 21:01:38 +00:00
Utilities.lisp	Added time-to-string and time-to-short-string	2001-09-20 00:12:13 +00:00
styles.css	Reformatted actions to merge procedures from multiple expansions of a nonterminal. Removed U_equiv form of functions.	2001-10-03 21:01:38 +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.