Automatically selecting and optimizing constraint solver procedures for object-constraint languages

Tim Felgentreff, Stefan Lehmann, Robert Hirschfeld, Sebastian Gerstenberg, Jakob Reschke, Lars Rückert, Patrick Siegler, Jan Graichen, Christian Nicolai, Malte Swart. Automatically selecting and optimizing constraint solver procedures for object-constraint languages. In Lidia Fuentes, Don S. Batory, Krzysztof Czarnecki, editors, Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14 - 18, 2016. pages 65-72, ACM, 2016. [doi]

Abstract

Abstract is missing.