It will be made available formatted for printing as compressed Postscript and DVI.
The WWW version provides only a rough approximation (mostly generated automatically by Hyperlatex) to the symbols used in the formatted versions. Please inform pdmosses@brics.dk about any places where a better approximation could be made!
N.B. All Study Notes are TENTATIVE first versions, unless explicitly marked otherwise.
Related sections in the checklist: Equality, if-then-else, definedness-predicate.
Even though the Common Language is not primarily a design language, it must be important to allow control of (internal) consistency of specifications, otherwise the end result of a CoFI development could be a specification that has no model, and cannot be implemented in a design language. We should provide a way of generating proof obligations ensuring (internal) consistency, at least for a subset of CL.
This subset will in the following be called the constructive part of CL.