An object-oriented constraint language using a single abstraction mechanism developed by Bruce Horn of CMU in 1991. Siri is a conceptual blend of BETA and Bertrand. It is similar to Kaleidoscope.
["Constraint Patterns as a Basis for Object-Oriented Constraint Programming", B. Horn, OOPSLA '92 (Sept 1992)].
Try this search on Wikipedia, OneLook, Google
Nearby terms: Siprol « SIR « SIRDS « Siri » SIRTS » SISAL » sit