This is a first draft proposal for datatypes REAL and COMPLEX in CASL. It shall be presented and discussed at the CoFI meeting in Amsterdam in March 1999.
We are not entirely satisfied with the current structure of the specifications. A future version should break the specification of real numbers into still more pieces (mainly, it would be useful to have sequences and polynomials as separate parameterized specifications).
The discussion of executable reals is a survey without detailed specifications. Fully working out these specifications would be a project on its own.