POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proving concurrent constraint programs correct
ACM Transactions on Programming Languages and Systems (TOPLAS)
The witness properties and the semantics of the Prolog cut
Theory and Practice of Logic Programming
Abstract interpretation of resolution-based semantics
Theoretical Computer Science
Toward the Concept of Backtracking Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
A linear operational semantics for termination and complexity analysis of ISO prolog
LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation
| Hi-index | 0.00 |