DocumentCode
3405172
Title
Declarative Multithreaded Programming
Author
Mancilla, Blanca ; Plaice, John
Author_Institution
Sch. of Comput. Sci. & Eng., Univ. of New South Wales, Sydney, NSW, Australia
Volume
2
fYear
2009
fDate
20-24 July 2009
Firstpage
237
Lastpage
242
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference, 2009. COMPSAC '09. 33rd Annual IEEE International
Conference_Location
Seattle, WA
ISSN
0730-3157
Print_ISBN
978-0-7695-3726-9
Type
conf
DOI
10.1109/COMPSAC.2009.140
Filename
5254119
Link To Document