Specifying Real Numbers in CASL

Authors:
Markus Roggenbach;Lutz Schröder;Till Mossakowski
Affiliations:
-;-;-
Venue:
WADT '99 Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques
Year:
1999

CASL: the common algebraic specification language

Theoretical Computer Science
The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress

WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Cited References

Computer algebra handbook
The rational numbers as an abstract data type

Journal of the ACM (JACM)
Implementing Local Intervals in CASL

Electronic Notes in Theoretical Computer Science (ENTCS)

Hi-index	0.00