Modeling Object Oriented Constraint Programs in Z

Laurent Henocque

Object oriented constraint programs (OOCPs) emerge as a leading evolution of constraint programming and artificial intelligence, first applied to a range of industrial applications…