Automatic Discovery of Linear Restraints Among Variables of a Program.

Patrick Cousot Nicolas Halbwachs

Published in: POPL (1978)

Keyphrases

automatic discovery
semantic web services
web services
cooperative
database
case study
learning environment
learning experience
continuous variables