Declarative Synchronous Multithreaded Programming

Authors Blanca Mancilla, John Plaice



PDF
Thumbnail PDF

File

DagSemProc.08271.4.pdf
  • Filesize: 174 kB
  • 6 pages

Document Identifiers

Author Details

Blanca Mancilla
John Plaice

Cite AsGet 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.
Keywords
  • Synchronous programming
  • distributed computing
  • declarative programming
  • Cartesian programming
  • multidimensional programming.

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail