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

Article Details
Title:	Checks and balances: constraint solving without surprises in object-constraint programming languages
Article URLs:	https://doi.org/10.1145/2814270.2814311
Alternative Article URLs:
Authors:	Tim Felgentreff	Viewpoints Research Institute, Communications Design Group Viewpoints Research Institute, SAP Labs Hasso-Plattner-Institute
	Todd D. Millstein	Viewpoints Research Institute, Communications Design Group Viewpoints Research Institute, SAP Labs University of California - Los Angeles
	Alan Borning	Viewpoints Research Institute, Communications Design Group Viewpoints Research Institute, SAP Labs University of Washington
	Robert Hirschfeld	Viewpoints Research Institute, Communications Design Group Viewpoints Research Institute, SAP Labs Hasso-Plattner-Institute
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review. awarded
Artifact URLs:	https://github.com/babelsberg/babelsberg-rml https://dl.acm.org/ft_gateway.cfm?id=2814311&type=zip&path=%2F2820000%2F2814311%2Fsupp%2Fp767%2Dfelgentreff%2Ds%2Ezip&supp=1&dwn=1
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/oopsla/FelgentreffMBH15
Author Comments:

ACM SIGPLAN Intl. Conf. on OO Programming, Systems, Langs., and Apps., OOPSLA 2015