2009 33rd Annual IEEE International Computer Software and Applications Conference (2009)
Seattle, Washington, USA
July 20, 2009 to July 24, 2009
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.
synchronous programming, distributed computing, declarative programming, Cartesian programming, multidimensional programming
B. Mancilla and J. Plaice, "Declarative Multithreaded Programming," 2009 33rd Annual IEEE International Computer Software and Applications Conference(COMPSAC), Seattle, Washington, USA, 2009, pp. 237-242.