Checks and balances: constraint solving without surprises in object-constraint programming languages

Tim Felgentreff, Todd D. Millstein, Alan Borning, Robert Hirschfeld. Checks and balances: constraint solving without surprises in object-constraint programming languages. In Jonathan Aldrich, Patrick Eugster, editors, Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2015, part of SPLASH 2015, Pittsburgh, PA, USA, October 25-30, 2015. pages 767-782, ACM, 2015. [doi]

Abstract

Abstract is missing.