Languages-beta : SIMPLE-Start.cbs | PRETTY | PDF
Language "SIMPLE"
Syntax
START : start ::= pgm
Semantics
start[[_:start]] : =>values
Rule
start[[ Pgm ]] =
initialise-binding initialise-storing initialise-giving
finalise-failing finalise-throwing
run[[ Pgm ]]
[
# 1 Lexical Syntax
# 2 Expressions
# 3 Statements
# 4 Declarations
# 5 Programs
# A Disambiguation
]