interval-domain

There are 0 repository under interval-domain topic.

• sukrutrao / IntervalAI

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

  abstract-interpretationinterpreterintervalsinterval-domaininteger-datatype
  Language:C++ 4

• marcocolognese / ais_interpreter

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

  static-analysisabstract-interpretationinterval-domaininterpretercplusplusabstract-domain
  Language:C++ 0