Ports for objects in concurrent logic programs

@inproceedings{Janson1993PortsFO,
  title={Ports for objects in concurrent logic programs},
  author={Sverker Janson and J. Montelius and Seif Haridi},
  year={1993}
}
  • Sverker Janson, J. Montelius, Seif Haridi
  • Published 1993
  • Computer Science
  • We introduce ports, an alternative to streams, as communication support for object-oriented programming in concurrent constraint logic programming languages. From a pragmatic point of view ports provide e cient many-toone communication, object identity, means for garbage collection of objects, and opportunities for optimised compilation techniques for concurrent objects. From a semantic point of view, ports preserve the monotonicity of the constraint store which is a crucial property of all… CONTINUE READING
    30 Citations
    Distributed Programming in a Multi-Paradigm Declarative Language
    • 60
    • PDF
    Objects in Higher-order Concurrentconstraintprograming with State
    • Highly Influenced
    ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry
    • 8
    Structural operational semantics for AKL
    • 19
    • PDF
    A new concurrency model for Scala based on a declarative dataflow core
    • 4
    • PDF
    A Concurrent Extension of Functional Logic Programming Languages
    • 1
    Exploiting fine-grain parallelism in concurrent constraint languages
    • J. Montelius
    • Computer Science
    • Uppsala theses in computing science
    • 1997
    • 38
    • PDF
    A Foundation for Higher-order Concurrent Constraint Programming
    • G. Smolka
    • Mathematics, Computer Science
    • CCL
    • 1994
    • 80
    • PDF

    References

    SHOWING 1-10 OF 26 REFERENCES
    Concurrent constraint programming languages
    • 333
    Actors as a special case of concurrent constraint (logic) programming
    • 37
    Programming Paradigms of the Andorra Kernel Language
    • 182
    • PDF
    Linear logic
    • 2,801
    • PDF
    Logical aspects of the Andorra Kernal Language
    • 10
    Guarded Horn Clauses
    • 409
    • PDF
    Design of a sequential prototype im- plementation of AKL
    • SICS research report, Swedish Institute of Computer Science,
    • 1992
    Design of a sequential prototype implementation of AKL
    • SICS research report
    • 1992
    Design of a sequential prototype implementation of AKL
    • SICS research report, Swedish Institute of Computer Science,
    • 1992