| Publication type: |
Unpublished |
| Author: |
Till Mossakowski, Markus Roggenbach |
| Title: |
The datatypes REAL and COMPLEX in CASL |
| Year published: |
1999 |
| Abstract: |
Real (and, to some degree, also complex) numbers should be a part of the CASL standard library, since they occur in many applications and programming languages. In this note, we address the specification of real and complex numbers at two levels: at the mathematical level and at the computer representation level.
[RM99a][RM99b] can be seen as complementary notes, since they contain basic datatypes resp. describe annotations and syntax extensions we frequently use here. |
| Internet: |
http://www.informatik.uni-bremen.de/cofi/old/Notes/M-7/index.html |
| Keywords: |
CASL real complex number |
| Note / Comment: |
CoFI note M-7 |
| Status: |
Other |
| Last updated: |
13. 02. 2007 |
|
 |
