[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Begin in the Formal Semantics



Begin is described in the abstract syntax, but there is
no semantic function for it.  Later, on page 35, the
semantics of begin is given under the derived expression
types heading.  Should begin be described in the abstract
syntax section?
John