Work

Declarative Synchronous Multithreaded Programming

Year: 2008

Type: article

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.

Source: DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

DOI: 10.4230/dagsemproc.08271.4

Authors: Mancilla, Blanca, Plaice, John

Institution: UNSW Sydney

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2403697608

FWCI:

Cites: 1

Cited by:

Related to: 10