An object-oriented calculus with term constraints.

Gábor Mihály Surányi

Published in: J. Funct. Program. (2007)

Keyphrases

constrained optimization
object oriented
user interface
constraint satisfaction
constraint programming
information systems
case study
search algorithm