Middle-out reasoning for logic program synthesis

Authors:
Ina Kraan;David Basin;Alan Bundy
Affiliations:
-;-;-
Venue:
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Year:
1993

Logic Program Synthesis in a Higher-Order Setting

CL '00 Proceedings of the First International Conference on Computational Logic
A framework for program development based on schematic proof

IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
An Integrated Approach to High Integrity Software Verification

Journal of Automated Reasoning
Strategic Issues, Problems and Challenges in Inductive Theorem Proving

Electronic Notes in Theoretical Computer Science (ENTCS)

Hi-index	0.00