Translating refined logic programs to Mercury
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
Refinement Calculus for Logic Programming in Isabelle/HOL
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
A Technique for Modular Logic Program Refinement
LOPSTR '00 Selected Papers form the 10th International Workshop on Logic Based Program Synthesis and Transformation
A refinement calculus for logic programs
Theory and Practice of Logic Programming
Calculating modules in contextual logic program refinement
Theory and Practice of Logic Programming
A tool for logic program refinement
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Hi-index | 0.00 |