Title :
Declarative Multithreaded Programming
Author :
Mancilla, Blanca ; Plaice, John
Author_Institution :
Sch. of Comput. Sci. & Eng., Univ. of New South Wales, Sydney, NSW, Australia
Abstract :
We demonstrate how TransLucid can be used as a reactive system by introducing sets and privileged dimensions for time and port in the language. 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 :
multi-threading; programming languages; set theory; TransLucid declarative programming language; active port; multithreaded programming; privileged dimension; reactive system; set theory; Application software; Australia; Computer applications; Computer science; Distributed computing; Equations; Libraries; Mobile computing; Multidimensional systems; Yarn; Cartesian programming; declarative programming; distributed computing; multidimensional programming; synchronous programming;
Conference_Titel :
Computer Software and Applications Conference, 2009. COMPSAC '09. 33rd Annual IEEE International
Conference_Location :
Seattle, WA
Print_ISBN :
978-0-7695-3726-9
DOI :
10.1109/COMPSAC.2009.140
