ports: Distributed programming with ports

This package contains a library for distributed programming with ports. In contrast to similar concepts in other languages, this library allows sending logic variables over ports which can be used as back channels.

The ideas behind this library are described in:

Michael Hanus:
Distributed Programming in a Multi-Paradigm Declarative Language
In Proc. PPDP'99, Springer LNCS 1702, pp. 188-205, 1999

The examples directory contains some examples for using this library.

Download

Checkout with CPM:

cypm checkout ports 1.1.0

Package source:

ports-1.1.0.tar.gz [browse]

Source repository:

https://git.ps.informatik.uni-kiel.de/curry-packages/ports.git