Verification of logic programs and imperative programs

Authors:
Lee Naish
Affiliations:
-
Venue:
Constructing logic programs
Year:
1993

Citing 0
Cited 2

Specialising Logic Programs with Respect to Call?Post Specifications

LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
A three-valued semantics for logic programmers

Theory and Practice of Logic Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract