Improvement of message communication in concurrent logic language
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Kima: An Automated Error Correction System for Concurrent Logic Programs
Automated Software Engineering
Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
Resource-Passing Concurrent Programming
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Demand-Driven Dataflow for Concurrent Committed-Choice Code
PACT '94 Proceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques
Practical Static Mode Analyses of Concurrent Logic Languages
PACT '94 Proceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Features of the concurrent programming language Aldwych
Proceedings of the 2003 ACM symposium on Applied computing
Properties of Input-Consuming Derivations
Theory and Practice of Logic Programming
Termination of simply moded logic programs with dynamic scheduling
ACM Transactions on Computational Logic (TOCL)
An integrated framework for the diagnosis and correction of rule-based programs
Theoretical Computer Science
Semantics of well-moded input-consuming logic programs
Computer Languages
Hi-index | 0.00 |