Verification of Logic Programs with Delay Declarations

A transformation system for CLP with dynamic scheduling and CCP

PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Proving concurrent constraint programs correct

ACM Transactions on Programming Languages and Systems (TOPLAS)

Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling

ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems

Reexecution-Based Analysis of Logic Programs with Delay Declarations

PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia

Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations

LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation

Semantics of Input-Consuming Logic Programs

CL '00 Proceedings of the First International Conference on Computational Logic

Termination of well-typed logic programs

Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming

On logic programs that always succeed

Science of Computer Programming

On modular termination proofs of general logic programs

Theory and Practice of Logic Programming

Classes of terminating logic programs

Theory and Practice of Logic Programming

Properties of Input-Consuming Derivations

Theory and Practice of Logic Programming

Verifying termination and error-freedom of logic programs with block declarations

Theory and Practice of Logic Programming

Termination of simply moded logic programs with dynamic scheduling

ACM Transactions on Computational Logic (TOCL)

Bounded Nondeterminism of Logic Programs

Annals of Mathematics and Artificial Intelligence

Core TuLiP logic programming for trust management

ICLP'07 Proceedings of the 23rd international conference on Logic programming

Learnability of simply-moded logic programs from entailment

ASIAN'04 Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday

Input-termination of logic programs

LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation

Semantics of well-moded input-consuming logic programs

Computer Languages