Languages-beta : SL-Start.cbs | PRETTY | PDF
Language "SL"
Syntax
START : start ::= program
Semantics
start[[ START:start ]] : => null-type
Rule
start[[ Program ]] =
initialise-binding
initialise-storing
initialise-giving
finalise-abrupting
run[[Program]]
Syntax
Program : program ::= fun-def*
Semantics
run[[ Program:program ]] : => null-type
Rule
run[[ FunDef* ]] =
scope(
initialise-global-bindings,
sequential(
override-global-bindings(declare[[FunDef*]]),
apply(fun global-bound "main", nil)))