Languages-beta : IMP-Start.cbs | PRETTY | PDF
Language "IMP"
[ # 1 Arithmetic expressions
# 2 Boolean expressions
# 3 Statements and blocks
# 4 Programs and variable declarations
# A Disambiguation
]
Top level
Syntax
START: start ::= pgm
Semantics
start[[_:start]] : =>null-type
Rule
start[[ Pgm ]] =
initialise-binding
initialise-storing
initialise-giving
finalise-failing
run[[ Pgm ]]