Preventing Arithmetic Overflows in Alloy.

Aleksandar Milicevic Daniel Jackson

Published in: ABZ (2012)

Keyphrases

arithmetic operations
mechanical properties
floating point
room temperature
wide range
relational databases
case study
database systems
multi agent
multiresolution
interval arithmetic
buffer overflow