Implementing Local Intervals in CASL

DOI10.1016/J.ENTCS.2007.03.019zbMath1279.68234OpenAlexW2101738497MaRDI QIDQ2870328

Anamaria Martins Moreira, Regivan H. N. Santiago

Publication date: 17 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.03.019

zbMATH Keywords

interval arithmeticsalgebraic specification languagesspecification of real numbers

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Uses Software

• CASL

Cites Work

• An algebraic approach to non-classical logics
• CASL: the Common Algebraic Specification Language.
• CASL reference manual. The complete documentation of the common algebraic specification language.
• Formal aspects of correctness and optimality of interval computations
• Generalizing the Real Interval Arithmetic
• Interval Representations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Implementing Local Intervals in CASL