%0 Unpublished Work %1 MossakowskiEtAl99 %A Mossakowski, Till %A Roggenbach, Markus %D 1999 %K CASL complex number real %T The datatypes REAL and COMPLEX in CASL %U http://www.informatik.uni-bremen.de/cofi/old/Notes/M-7/index.html %X 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. RM99aRM99b can be seen as complementary notes, since they contain basic datatypes resp. describe annotations and syntax extensions we frequently use here.

@unpublished{MossakowskiEtAl99, 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. }, added-at = {2016-08-05T15:59:03.000+0200}, author = {Mossakowski, Till and Roggenbach, Markus}, biburl = {https://www.bibsonomy.org/bibtex/20f73a3d1cd3f1c455bab17d4cc132d21/tillmo}, interhash = {3e0fbd94ccf6451e047e381b78234ed7}, intrahash = {0f73a3d1cd3f1c455bab17d4cc132d21}, keywords = {CASL complex number real}, note = {CoFI note M-7}, status = {Other}, timestamp = {2016-08-05T15:59:03.000+0200}, title = {The datatypes REAL and COMPLEX in CASL}, url = {http://www.informatik.uni-bremen.de/cofi/old/Notes/M-7/index.html}, year = 1999 }