A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams.

Johannes Eriksson, Masoumeh Parsa

Browse the full PADL paper archive.