Automatic mode inference for logic programs
Journal of Logic Programming
Static inference of modes and data dependencies in logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
Moded flat GHC and its message-oriented implementation technique
New Generation Computing
Sequentialization of Parallel Logic Programs with Mode Analysis
LPAR '93 Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning
Monaco: A High-Performance Flat Concurrent Logic Programming System
PARLE '93 Proceedings of the 5th International PARLE Conference on Parallel Architectures and Languages Europe
Demand-Driven Dataflow for Concurrent Committed-Choice Code
PACT '94 Proceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques
Hi-index | 0.00 |