Verifiable partial specifications for logic programming

Authors:
Corin A. Gurr
Affiliations:
Human Communication Research Centre, University of Edinburgh, Edinburgh EH8 9LW, UK
Venue:
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
Year:
1996

Program verification

Journal of Automated Reasoning
Types in logic programming

Types in logic programming
Abstract analysis with aspect

ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
The Go¨del programming language

The Go¨del programming language
Aspect: an economical bug-detector

ICSE '91 Proceedings of the 13th international conference on Software engineering
QDA - A Method for Systematic Informal Program Analysis

IEEE Transactions on Software Engineering
Declarative Debugging of Abstract Data Types in Gödel

AADEBUG '93 Proceedings of the First International Workshop on Automated and Algorithmic Debugging
A Pragmatic Survey of Automated Debugging

AADEBUG '93 Proceedings of the First International Workshop on Automated and Algorithmic Debugging

Hi-index	0.00