Logic program synthesis from incomplete specifications
Journal of Symbolic Computation - Special issue on automatic programming
Some challenges for constraint programming
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
GIDTS: a graphical programming environment for Prolog
Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Some Challenges for Constraint Programming
Constraints
Program Debugging and Validation Using Semantic Approximations and Partial Specifications
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Abstract interpretation based verification of logic programs
Science of Computer Programming
Use of correctness assertions in declarative diagnosis
Proceedings of the 2005 ACM symposium on Applied computing
Abstract verification and debugging of constraint logic programs
ERCIM'02/CologNet'02 Proceedings of the 2002 Joint ERCIM/CologNet international conference on Constraint solving and constraint logic programming
Automatic binding-related error diagnosis in logic programs
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Data centric highly parallel debugging
Proceedings of the 19th ACM International Symposium on High Performance Distributed Computing
Context-sensitive multivariant assertion checking in modular programs
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Declarative datalog debugging for mere mortals
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
| Hi-index | 0.00 |