Sannella, M., J. Maloney, B. Freeman-Benson, and A. Borning (1993, May). Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Kaleidoscope: A Constraint Imperative Programming Language - Lopez, Freeman-Benson.. (1994) (11 citations) (Correct)
....re executes each time of any of its variables (or the subparts of those variables) changes identity. The execution of a constructor might trigger additional constructors to execute. This process continues until the remaining constraints are primitive constraints, which are solved by SkyBlue (Sannella 1993), the incremental local propagation solver used for Kaleidoscope 93 primitives. SkyBlue is a new algorithm that extends our earlier DeltaBlue algorithm (Freeman Benson, Maloney, and Borning 1990; Sannella, Maloney, Freeman Benson, and Borning 1993) to allow constraints with multiple outputs, and ....
Sannella, M., J. Maloney, B. Freeman-Benson, and A. Borning (1993, May).
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC