Sign in

Preventing Arithmetic Overflows in Alloy.

Aleksandar MilicevicDaniel 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