Implementing Local Intervals in CASL | Zendy

Regivan Santiago | Zendy; Anamaria Martins Moreira | Zendy; Katiane Ribeiro Lopes | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Implementing Local Intervals in CASL

Author(s) -

Regivan Santiago,

Anamaria Martins Moreira,

Katiane Ribeiro Lopes

Publication year - 2007

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2007.03.019

Subject(s) - computer science , interval (graph theory) , set (abstract data type) , programming language , algebraic specification , algebraic number , margin (machine learning) , theoretical computer science , specification language , mathematics , mathematical analysis , combinatorics , machine learning

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 interval local set defined in [R.H.N. Santiago. Interval local equality toward a model for real type. In Proceedings of the IV Workshop on Formal Methods, pages 54–59, Rio de Janeiro, RJ, 2001. Sociedade Brasileira de Computação] in such a way that it can be implemented in the underlying logic of CASL. With these results, it is possible to manipulate intervals in CASL, as if they were real numbers, with equational reasoning, and get an error estimation on the obtained results for free (from the width of the resulting interval). The paper describes the CASL definition of the interval library and presents a case study on a simple example requiring handling data with “tolerance” margin

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research