2013 IEEE 37th Annual 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
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