Propagating differences: an efficient new fixpoint algorithm for distributive constraint systems
Nordic Journal of Computing
A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
Logic-Based Program Synthesis and Transformation
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II
Verifying a local generic solver in coq
SAS'10 Proceedings of the 17th international conference on Static analysis
Hi-index | 0.00 |