Uploaded at Apr 1 12:03:07 2020 (UTC)
Succesfully tested at Aug 27 04:23:25 2020

Curry Package ports

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.0.0
Package source:
ports-1.0.0.tar.gz [browse]
Source repository:
https://git.ps.informatik.uni-kiel.de/curry-packages/ports.git