A Microkernel Architecture for Constraint Programming
Laurent Michel, Pascal Van Hentenryck
TL;DR
This paper introduces a microkernel architecture for constraint programming that emphasizes minimal core functionalities, aiming to improve software engineering without sacrificing runtime efficiency.
Contribution
It proposes a novel microkernel architecture for constraint programming, contrasting with traditional monolithic designs, and demonstrates its efficiency and software engineering benefits.
Findings
Software engineering benefits are compatible with runtime efficiency.
Experimental results support the effectiveness of the microkernel approach.
The architecture simplifies constraint programming implementations.
Abstract
This paper presents a microkernel architecture for constraint programming organized around a number of small number of core functionalities and minimal interfaces. The architecture contrasts with the monolithic nature of many implementations. Experimental results indicate that the software engineering benefits are not incompatible with runtime efficiency.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsConstraint Satisfaction and Optimization · Logic, programming, and type systems · Advanced Software Engineering Methodologies