DagSemProc.08271.4.pdf
- Filesize: 174 kB
- 6 pages
Document
Declarative Synchronous Multithreaded Programming
Authors
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 8271
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2008-11-05
Cite As Get BibTex
Blanca Mancilla and John Plaice. Declarative Synchronous Multithreaded Programming. In Topological and Game-Theoretic Aspects of Infinite Computations. Dagstuhl Seminar Proceedings, Volume 8271, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
https://doi.org/10.4230/DagSemProc.08271.4
Abstract
We demonstrate how TransLucid can be used as a reactive system. At each instant, there is a set of active ports, where sets of equations, demands and threads are all registered. Each thread defines a sequence of (state, demand) pairs, and threads may interact through the overall set of equations. The entire system remains fully declarative.
Subject Classification
Keywords
- Synchronous programming
- distributed computing
- declarative programming
- Cartesian programming
- multidimensional programming.
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads