5 Reference Manual

This section presents the AS language in its entirety. Both syntactical and semantical aspects are covered.

Lexical elements are defined giving their lex definition. We give the concrete syntax of the language using a BNF-like notation with the following conventions:

-->    is defined as
|      or
[x]    optional x
*      list
+      non-empty list

• 5.1 Lexical Elements
• 5.2 Names
• 5.3 Typed Names
• 5.4 Definition of Operators
• 5.5 Definition of Phyla
• 5.6 Predefined Types
• 5.7 Complete Definition of an Abstract Syntax
• 5.8 Extension of a Formalism
• 5.9 Effectiveness
• 5.10 The Complete Concrete Syntax of AS
• 5.11 The Complete Abstract Syntax of AS