Variables in Basic Specifications: Overloading and Overriding

Don Sannella

28 March 1997

In writing the first draft of the semantics of basic specifications, various questions arose concerning the treatment of variables. What version 0.95 of the language summary says about this appears to be inconsistent in certain respects. These are minor points, but decisions are required.

  • 1 Basic Concepts
  • 2 Basic Constructs
  • 3 Possible Choices

  • CoFI Note: L-1 --Version 1-- 28 March 1997.
    Comments to dts@dcs.ed.ac.uk