A Microkernel Architecture for Constraint Programming
This work addresses software engineering challenges in constraint programming systems, though it appears incremental as it adapts an existing architectural concept to this domain.
The paper tackles the monolithic nature of constraint programming implementations by proposing a microkernel architecture based on core functionalities and minimal interfaces, with experimental results showing that this approach maintains runtime efficiency while offering software engineering benefits.
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.