Languages-beta : MiniJava-Start.cbs | PRETTY | PDF
Language "MiniJava"
Syntax
START:
start ::= program
Semantics
start[[ START:start ]] : => null-type
Rule
start[[ P ]] =
initialise-binding
initialise-storing
initialise-giving
finalise-failing
run[[P]]
Contents:
The section numbers above are links into other files.