interval-domain

There are 2 repositories under interval-domain topic.

  • sukrutrao/IntervalAI

    An abstract interpreter for an integer interval domain supporting basic operations for simple C programs

    Language:C++43101

  • marcocolognese/ais_interpreter

    C++ implementation of an interpreter for a simple programming language and a library for Intervals Abstract Domain

    Language:C++0002