Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Katiane R. Lopes"'
Publikováno v:
Electronic Notes in Theoretical Computer Science. 184:133-149
This paper defines the basis for the implementation in CASL (Common Algebraic Specification Language) of an interval library such that intervals behave as real numbers endowed with an error information. To achieve that, we redefine the notion of inte
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b1c749e1d064f634bee8b11019e7335d
https://doi.org/10.1016/j.entcs.2007.03.019
https://doi.org/10.1016/j.entcs.2007.03.019
