The Community for Technology Leaders
2013 IEEE 37th Annual Computer Software and Applications Conference (2009)
Seattle, Washington, USA
July 20, 2009 to July 24, 2009
ISSN: 0730-3157
ISBN: 978-0-7695-3726-9
pp: 237-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.
INDEX TERMS
synchronous programming, distributed computing, declarative programming, Cartesian programming, multidimensional programming
CITATION
Blanca Mancilla, John Plaice, "Declarative Multithreaded Programming", 2013 IEEE 37th Annual Computer Software and Applications Conference, vol. 02, no. , pp. 237-242, 2009, doi:10.1109/COMPSAC.2009.140
89 ms
(Ver 3.3 (11022016))