Papers -- Constraint Imperative Programming

July 2014: this page lists historic papers from the 1990s on Constraint Imperative Programming. For a new language that substantially improves on these ideas, see the Babelsberg language -- there are papers on Babelsberg on the writings page for Viewpoints Research Institute and the publications page for the Software Architecture Group at Hasso Plattner Intitute.

• Bjorn Freeman-Benson and Alan Borning, "The Design and Implementation of Kaleidoscope'90, A Constraint Imperative Programming Language", Proceedings of the IEEE Computer Society 1992 International Conference on Computer Languages, April 1992, pages 174-180.
• Bjorn Freeman-Benson and Alan Borning, "Integrating Constraints with an Object-Oriented Language", Proceedings of the 1992 European Conference on Object-Oriented Programming, June 1992, pages 268-286.
• Gus Lopez, Bjorn Freeman-Benson, and Alan Borning, "Kaleidoscope: A Constraint Imperative Programming Language", In Constraint Programming, B. Mayoh, E. Tougu, J. Penjam (Eds.), NATO Advanced Science Institute Series, Series F: Computer and System Sciences, Vol 131, Springer-Verlag, 1994, pages 313-329.
• Gus Lopez, Bjorn Freeman-Benson, and Alan Borning, "Constraints and Object Identity", Proceedings of the 1994 European Conference on Object-Oriented Programming, Bologna, Italy, July 1994, pages 260-279.
• Gus Lopez, Bjorn Freeman-Benson, and Alan Borning, "Implementing Constraint Imperative Programming Languages: the Kaleidoscope'93 Virtual Machine", Proceedings of the 1994 ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, Portland, Oregon, October 1994, pages 259-271.