The concurrent logic programming language CP: Definition and operational semantics
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Modeling of parallel software for efficient computation communication overlap
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
A two-tier memory architecture for high-performance multiprocessor systems
ICS '88 Proceedings of the 2nd international conference on Supercomputing
A transformational approach to the derivation of hardware algorithms from recurrence equations
Proceedings of the 1988 ACM/IEEE conference on Supercomputing
Implementing a graph-colouring algorithm in Parlog
ACM SIGPLAN Notices
Concurrent algorithmic debugging
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Programming languages for distributed computing systems
ACM Computing Surveys (CSUR)
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
Concurrent Logic Programming as a Hardware Description Tool
IEEE Transactions on Computers
Generators and the replicator control structure in the parallel environment of ALLOY
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Adaptive multiagent planning in a distributed environment
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
Using Flat Concurrent Prolog in System Modeling
IEEE Transactions on Software Engineering
Architectural Support for Goal Management in Flat Concurrent Prolog
Computer - Special issue on sharing: high performance at low cost
Models and languages for parallel computation
ACM Computing Surveys (CSUR)
The process allocation in parallel interpretation of logic programs (abstract only)
CSC '87 Proceedings of the 15th annual conference on Computer Science
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Dynamic specialization in extended functional language with monotone objects
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Two Rule-Based Building-Block Architectures for Policy-Based Network Control
IWAN '00 Proceedings of the Second International Working Conference on Active Networks
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
SCOOP, Structured Concurrent Object-Oriented Prolog
ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
Rule-Based Building-Block Architectures for Policy-Based Networking
Journal of Network and Systems Management
Bristlecone: A Language for Robust Software Systems
ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
A parallel logic programming language for PEPSys
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
CP as a general-purpose constraint-language
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
CP as a general-purpose constraint-language
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Concurrent and reactive constraint programming
A 25-year perspective on logic programming
Finding, expressing and managing parallelism in programs executed on clusters of workstations
Computer Communications
| Hi-index | 4.11 |
First Page of the Article