Journal of Symbolic Computation - Special issue on automatic programming
Argus/V: a system for verification of Prolog programs
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
Inductively Verifying Invariant Properties of Parameterized Systems
Automated Software Engineering
A Coinduction Rule for Entailment of Recursively Defined Properties
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Hi-index | 0.00 |