Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
Theoretical Computer Science
Journal of Logic Programming
Programming languages for distributed computing systems
ACM Computing Surveys (CSUR)
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
The concurrent language, Shared Prolog
ACM Transactions on Programming Languages and Systems (TOPLAS)
A calculus of broadcasting systems
TAPSOFT '91 Proceedings of the international joint conference on theory and practice of software development on Colloquium on trees in algebra and programming (CAAP '91): vol 1
The gamma model and its discipline of programming
Science of Computer Programming
Coordination languages and their significance
Communications of the ACM
Parallel Programming Using Shared Objects and Broadcasting
Computer - Special issue on sharing: high performance at low cost
Programming by multiset transformation
Communications of the ACM
Research directions in concurrent object-oriented programming
Conference proceedings on PARLE'92
Describing Prolog by its interpretation and compilation
Communications of the ACM
From concurrent logic programming to concurrent constraint programming
Advances in logic programming theory
Blackboard-based extensions in Prolog
Software—Practice & Experience
Gamma and the chemical reaction model: ten years after
Coordination programming
An alternative semantics for the parallel operator of the calculus of gamma programs
Coordination programming
A linear logic view of gamma style computations as proof searches
Coordination programming
Gammalög: a coordination language based on gamma and Gödel
Coordination programming
Refining multiset transformers
Theoretical Computer Science - Special issue: theoretical aspects of coordination languages
Science of Computer Programming
A uniform axiomatic view of lists, multisets, and sets, and the relevant unification algorithms
Fundamenta Informaticae
Efficient logic variables for distributed computing
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Comparing Two Parallel Logic-Programming Architectures
IEEE Software
Specification of the Unix File System: A Comparative Case Study
AMAST '95 Proceedings of the 4th International Conference on Algebraic Methodology and Software Technology
A Parallel Programming Style and Its Algebra of Programs
PARLE '93 Proceedings of the 5th International PARLE Conference on Parallel Architectures and Languages Europe
Pipelining the Molecule Soup: A Plumber's Approach to Gamma
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
A Declarative Language for Parallel Programming
A Declarative Language for Parallel Programming
Logic Programming and Prolog: A Tutorial
IEEE Software
Parallel programming with logic languages: A survey
Computer Languages
Hi-index | 0.00 |
We describe Gammalog, a logic language whose semantics is based on the chemical metaphor. The language combines the ability of describing coordination by transformation rules on a shared-dataspace, as in Gamma, with the execution model of logic programming. The main feature of Gammalog is that the declarative reading of programs is not restricted to the pure logic language but it also includes the coordination mechanisms. This feature makes Gammalog a promising alternative to other coordination models which can be embedded in logic programming. We present the language syntax, its formal semantics, and a prototype implementation based on Godel, which inherits its strongly typed framework. As an example of the expressive power of the language we provide the specification of a simple operating system.