Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis.

Kalmer Apinis Helmut Seidl Vesal Vojdani

Published in: APLAS (2012)

Keyphrases

management system
three dimensional
database
knowledge based systems
systems require
real time
learning algorithm
artificial intelligence
case study
expert systems
information technology
intelligent systems
building blocks