Begin in the Formal Semantics

[Jonathan A Rees <JAR@AI.AI.MIT.EDU>]

    Date: Mon, 15 Sep 86 15:15:40 edt
    From: John D. Ramsdell <ramsdell%faron at mitre-bedford.ARPA>
    To:   rrrs-authors%mc.lcs.mit.edu at mitre-bedford.ARPA
    Re:   Begin in the Formal Semantics
    Organization: The MITRE Corp., Bedford, MA
    Posted-Date: Mon, 15 Sep 86 15:15:40 edt
    Message-Id: <8609151915.AA16806@faron.MENET>

    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?

It should be flushed from the abstract syntax.  I intended to do this
but only partially succeeded.

Jonathan