Declarative Synchronous Multithreaded Programming

Mancilla, Blanca; Plaice, John

doi:10.4230/DagSemProc.08271.4

Document

Declarative Synchronous Multithreaded Programming

Authors Blanca Mancilla, John Plaice

Part of: Volume: Dagstuhl Seminar Proceedings, Volume 8271
Part of: Series: Dagstuhl Seminar Proceedings (DagSemProc)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2008-11-05

PDF

File

PDF

DagSemProc.08271.4.pdf

Filesize: 174 kB
6 pages

Document Identifiers

DOI: 10.4230/DagSemProc.08271.4
URN: urn:nbn:de:0030-drops-16536

Subject Classification

Keywords

Synchronous programming
distributed computing
declarative programming
Cartesian programming
multidimensional programming.

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

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.

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

Author Details

Blanca Mancilla

John Plaice

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail