pjs/semantics в e56a41036018c7a3cd43dc2d173c2bc43d7327c7 - pjs

История

waldemar%netscape.com 5d3a82e791 Removed type-expression		2001-08-23 04:22:56 +00:00
..
HTML-To-RTF	Removed type-expression	2001-08-23 04:22:56 +00:00
JS14	Updated to work under Allegro Common Lisp	1999-11-20 02:16:56 +00:00
JS20	Added more basic semantics	2001-08-23 04:22:24 +00:00
JSECMA	Renamed truncate-float64 to truncate-finite-float64	2001-08-10 23:26:50 +00:00
Test	Brought up to date	2001-08-11 06:53:35 +00:00
Calculus.lisp	Added vector subtyping, support for & on unions of tags, and the nonempty operator	2001-08-23 04:21:18 +00:00
CalculusMarkup.lisp	Added vector subtyping, support for & on unions of tags, and the nonempty operator	2001-08-23 04:21:18 +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	Added Allegro reference	1999-11-20 02:18:26 +00:00
RTF.lisp	Removed type-expression	2001-08-23 04:22:56 +00:00
Utilities.lisp	Added hash-table-=	2001-02-01 03:41:18 +00:00
styles.css	Brought up to date	2001-08-11 06:53:35 +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.