April 2002 Draft JavaScript 2.0 Formal Description

Tuesday, June 5, 2001

• Semantic Notation
• Stages
• Lexical Grammar Summary (also available as Word 98 rtf)
• Lexical Grammar and Semantics (Word 98 rtf)
• Unit Grammar Summary (also available as Word 98 rtf)
• Unit Grammar and Semantics (Word 98 rtf)
• Regular Expression Grammar Summary (Word 98 rtf)
• Regular Expression Grammar and Semantics (Word 98 rtf)
• Syntactic Grammar Summary (Word 98 rtf)
• Syntactic Grammar and Semantics (Word 98 rtf)

This chapter presents the formal syntax and semantics of JavaScript 2.0. The syntax notation and semantic notation sections explain the notation used for this description. A simple metalanguage based on a typed lambda calculus is used to specify the semantics.

The syntax and semantic sections are available in both HTML 4.0 and Microsoft Word 98 RTF formats. In the HTML versions each use of a grammar nonterminal or metalanguage value, type, or field is hyperlinked to its definition, making the HTML version preferred for browsing. On the other hand, the RTF version looks much better when printed. The fonts, colors, and other formatting of the various grammar and semantic elements are all encoded as CSS (in HTML) or Word (in RTF) styles and can be altered if desired.

The syntax and semantics sections are machine-generated from code supplied to a small engine that can type-check and execute the semantics directly. This engine is in the CVS tree at mozilla/js2/semantics; the input files are at mozilla/js2/semantics/JS20.

Waldemar Horwat Last modified Tuesday, June 5, 2001