RMCS Logo

Home

Origin & Aims

ISL Team

Activities

Documents

Meetings

Activities

Work on Interval Standards

An effort is under way to agree a specification for Interval Arithmetic to be included in the C++ Standard Library. Many people are involved in this and we acknowledge the work of Hervé Brönnimann, Guillaume Melquiond and Sylvain Pion.

Drawing on their drafts, ISL have produced a draft standard document for consideration by the Standards Committee. The theoretical model for this standard is based on Pryce's version of Walster and Hansen's containment set (cset) theory. For a description, see the paper by Corliss and Pryce (Jan 2006).