A survey on reactive programming

ACM Computing Surveys

Volumn 45, Issue 4, 2013, Pages

  Bainomugisha, Engineer ^a   Carreton, Andoni Lombide ^a   Van Cutsem, Tom ^a   Mostinckx, Stijn ^a   De Meuter, Wolfgang ^a  

^a VRIJE UNIVERSITEIT BRUSSEL   (Belgium)

Author keywords

Dataflow programming; Event driven applications; Functional reactive programming; Interactive applications; Reactive programming; Reactive systems

Indexed keywords

DATAFLOW PROGRAMMING; EVENT-DRIVEN; FUNCTIONAL REACTIVE PROGRAMMING; INTERACTIVE APPLICATIONS; REACTIVE PROGRAMMING; REACTIVE SYSTEM;

COMPUTER SYSTEMS PROGRAMMING; FUNCTIONAL PROGRAMMING; INTERACTIVE DEVICES; SURVEYS; TAXONOMIES;

JAVA PROGRAMMING LANGUAGE;

EID: 84885006247     PISSN: 03600300     EISSN: 15577341     Source Type: Journal    
DOI: 10.1145/2501654.2501666     Document Type: Article

References (55)

1. AMAGBEGNON, P., BESNARD, L., AND LE GUERNIC, P. 1995. Implementation of the data-flow synchronous language signal. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'95). ACM Press, New York, 163-173.
2. APT, K. R.,BRUNEKREEF, J.,PARTINGTON, V., AND SCHAERF, A. 1998. Alma-o: An imperative language that supports declarative programming. ACM Trans. Program. Lang. Syst. 20, 1014-1066.
3. BENVENISTE, A., CASPI, P., EDWARDS, S. A., HALBWACHS, N., GUERNIC, P. L., ROBERT, AND SIMONE, D. 2003. The synchronous languages 12 years later. Proc. IEEE 91, 1, 64-83.
4. BERRY, G. AND GONTHIER, G. 1992. The esterel synchronous programming language: Design, semantics, implementation. Sci. Comput. Program. 19, 2, 87-152.
5. BOUSSINOT, F. 2006. FairThreads:Mixing cooperative and preemptive threads in c: Research articles. Concurr. Comput. Pract. Exper. 18, 5, 445-469.
6. CARRETON, A. L.,MOSTINCKX, S.,VAN CUTSEM, T., AND DE MEUTER,W. 2010. Loosely-coupled distributed reactive programming in mobile ad hoc networks. In Proceedings of the 48th International Conference on Objects, Models, Components, Patterns (TOOLS'10). Springer, 41-60.
7. CARZANIGA, A.,ROSENBLUM, D. S., ANDWOLF, A. L. 2000. Achieving scalability and expressiveness in an internetscale event notification service. In Proceedings of the 19th Annual ACM Symposium on Principles of Distributed Computing (PODC'00). ACM Press, New York, 219-227.
8. COOPER, G. H. 2008. Integrating dataflow evaluation into a practical higher-order call-by-value language. Ph.D. thesis, Brown University, Providence, RI, USA. https://repository.library.brown.edu/studio/item/bdr:268/.
9. COOPER, G. H. AND KRISHNAMURTHI, S. 2006. Embedding dynamic dataflow in a call-by-value language. In Proceedings of the 15th European Conference on Programming Languages and Systems (ESOP'06). Springer, 294-308.
10. COURTNEY, A. 2001. Frappe: Functional reactive programming in java. In Proceedings of the 3rd International Symposium on Practical Aspects of Declarative Languages (PADL'01). Springer, 29-44.
11. CUTSEM, T. V.,MOSTINCKX, S.,BOIX, E. G.,DEDECKER, J., AND MEUTER,W. D. 2007. AmbientTalk: Object-oriented event-driven programming in mobile ad hoc networks. In Proceedings of the 26th International Conference of the Chilean Society of Computer Science (SCCC'07). IEEE Computer Society, Los Alamitos, CA, 3-12.
12. EBY, P. J. 2008. Trellis. http://pypi.python.org/pypi/Trellis.
13. EDWARDS, J. 2009. Coherent reaction. In Proceeding of the 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and Applications. ACM Press, New York, 925-932.
14. ELLIOTT, C. AND HUDAK, P. 1997. Functional reactive animation. In Proceedings of the 2nd ACM SIGPLAN International Conference on Functional Programming (ICFP'97). ACM Press, New York, 263-273.
15. ELLIOTT, C., SCHECHTER, G., YEUNG, R., AND ABI-EZZI, S. S. 1994. Tbag: A high level framework for interactive, animated 3d graphics applications. In Proceedings of the 21st Annual Conference on Computer Graphics and Interactive Techniques (SIGGRAPH'94). ACM Press, New York, 421-434.
16. ELLIOTT, C. M. 2009. Push-pull functional reactive programming. In Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell (Haskell'09). ACM Press, New York, 25-36.
17. EUGSTER, P. T., FELBER, P. A.,GUERRAOUI, R., AND KERMARREC, A.-M. 2003. The many faces of publish/subscribe. ACM Comput. Surv. 35, 2, 114-131.
18. FELLEISEN, M., FINDLER, R. B., FLATT, M., AND KRISHNAMURTHI, S. 1998. The drscheme project: An overview. SIGPLAN Not. 33, 6, 17-23.
19. FOSTER, J. N.,GREENWALD,M. B.,MOORE, J. T.,PIERCE, B. C., AND SCHMITT, A. 2007. Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem. ACM Trans. Program. Lang. Syst. 29, 3.
20. HALBWACHS, N., CASPI, P.,RAYMOND, P., AND PILAUD, D. 1991. The synchronous dataflow programming language lustre. Proc. IEEE 79, 9, 1305-1320.
21. HAMILTON, K. AND DYER, W. 2010. Reactive extension for .net. http://msdn.microsoft.com/en-us/devlabs/ee794896.aspx.
22. HAREL, D. AND POLITI, M. 1998. Modeling Reactive Systems with Statecharts: The Statemate Approach 1st Ed. McGraw-Hill, New York.
23. HUANG, Y. AND GARCIA-MOLINA, H. 2004. Publish/subscribe in a mobile environment. Wirel. Netw. 10, 6, 643-652.
24. HUDAK, P., COURTNEY, A.,NILSSON, H., AND PETERSON, J. 2003. Arrows, robots, and functional reactive programming. In Summer School on Advanced Functional Programming. Lecture Notes in Computer Science, vol. 2638, Springer, 159-187.
25. HUGHES, J. 2000. Generalising monads to arrows. Sci. Comput. Program. 37, 1-3, 67-111.
26. JARVI, J., MARCUS, M., PARENT, S., FREEMAN, J., AND SMITH, J. N. 2008. Property models: From incidental algorithms to reusable components. In Proceedings of the 7th International Conference on Generative Programming and Component Engineering. ACM Press, New York, 89-98.
27. JOHNSTON, W. M.,HANNA, J. R. P., ANDMILLAR, R. J. 2004. Advances in dataflow programming languages. ACM Comput. Surv. 36, 1, 1-34.
28. KALKMAN, C. 1995. Labview: A software system for data acquisition, data analysis, and instrument control. J. Clinical Monitor. Comput. 11, 1, 51-58.
29. LEE, E. A. AND MESSERSCHMITT, D. G. 1987. Synchronous data flow. Proc. IEEE. 75, 9, 1235-1245.
30. MAIER, I., ROMPF, T., AND ODERSKY, M. 2010. Deprecating the observer pattern. Tech. rep. http://lampwww.epfl.ch/imaier/pub/ DeprecatingObserversTR2010.pdf.
31. MCDIRMID, S. AND HSIEH, W. C. 2006. SuperGlue: Component programming with object-oriented signals. In Proceedings of the 20th European Conference on Object-Oriented Programming (ECOOP'06). 206-229.
32. MEYEROVICH, L. A., GUHA, A., BASKIN, J., COOPER, G. H., GREENBERG, M., BROMFIELD, A., AND KRISHNAMURTHI, S. 2009. Flapjax: A programming language for ajax applications. In Proceedings of the 24th ACMSIGPLAN Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'09). ACM Press, New York, 1-20.
33. MICROSOFTC. 2007. LINQ:NET language-integrated query. http://msdn.microsoft.com/library/bb308959.aspx.
34. MILLER, M., E. TRIBBLE, D., AND SHAPIRO, J. 2005. Concurrency among strangers: Programming in e as plan coordination. In Proceedings of the Symposium on Trustworthy Global Computing. Lecture Notes in Computer Science, vol. 3705, Springer, 195-229.
35. MILLER, M. S. 2003. The reporter/reactor pattern. http://www.erights.org/ javadoc/org/erights/e/elib/slot/EverReporter.html.
36. NILSSON, H., PETERSON, J., AND HUDAK, P. 2003. Functional hybrid modeling. In Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages (PADL'03). Springer, 376-390.
37. ODERSKY, M., ALTHERR, P., CREMET, V., EMIR, B.,MANETH, S., ET AL. 2004. An overview of the scala programming language. Tech. rep. IC/2004/64, EPFL Lausanne, Switzerland.
38. ORACLE. 1997. JavaBeans component model. http://www.oracle.com/ technetwork/java/javase/tech/index-jsp-138795.html.
39. PETERSON, J. AND HAGER, G. 1999. Monadic robotics. In Proceedings of the 2nd Conference on Conference on Domain-Specific Languages (DSL'99). Vol. 2, USENIX Association, Berkeley, 8-8.
40. PETERSON, J.,HUDAK, P.,REID, A., ANDHAGER, G. D. 2001. Fvision: A declarative language for visual tracking. In Proceedings of the 3rd International Symposium on Practical Aspects ofDeclarative Languages (PADL'01). Springer, 304-321.
41. PUCELLA, R. R. 1998. Reactive programming in standard ml. In Proceedings of the International Conference on Computer Languages (ICCL'98). IEEE Computer Society, Los Alamitos, CA, 48-57.
42. RADUL, A. 2009. Propagation networks: A flexible and expressive substrate for computation. Ph.D. thesis, MIT. http://web.mit.edu/-axch/www/phd-thesis. pdf.
43. RADUL, A. AND SUSSMAN, G. J. 2009. The (abridged) art of the propagator. In Proceedings of the International Lisp Conference (ILC'09).
44. SCULTHORPE, N. 2011. Towards safe and efficient functional reactive programming. Ph.D. thesis, Nottingham, UK. http://www.ittc.ku.edu/neil/papers and talks/thesis.pdf.
45. SPERBER, M. 2001a. Computer-assisted lighting design and control. Ph.D. thesis, University of Tbingen. http://tobias-lib.uni-tuebingen.de/dbt/volltexte/ 2001/266/.
46. SPERBER,M. 2001b. Developing a stage lighting system from scratch. In Proceedings of the 6th ACMSIGPLAN International Conference on Functional Programming. ACM Press, New York, 122-133.
47. STALLMAN, R. M. AND SUSSMAN, G. J. 1977. Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis. Artif. Intell. 9, 2, 135-196.
48. STEELE, JR., G. L. 1980. The definition and implementation of a computer programming language based on constraints. Tech. rep., Cambridge, MA, USA. http://dspace.mit.edu/handle/1721.1/6933.
49. THE MATHWORKS. 1994. Simulink-Simulation and model-based design. http://www.mathworks.nl/products/simulink/index.html.
50. TILTON, K. 2008. The cells manifesto. http://smuglispweeny.blogspot.com/ 2008/02/cells-manifesto.html.
51. WAN, Z. AND HUDAK, P. 2000. Functional reactive programming from first principles. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'00). ACM Press, New York, 242-252.
52. WAN, Z., TAHA, W., AND HUDAK, P. 2001. Real-time frp. SIGPLAN Not. 36, 10, 146-156.
53. WAN, Z., TAHA, W., AND HUDAK, P. 2002. Event-driven frp. In Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages (PADL'02). Springer, 155-172.
54. WHITING, P. G. AND PASCOE, R. S. V. 1994. A history of data-flow languages. IEEE Ann. Hist. Comput. 16, 4, 38-59.
55. ZABIH, R.,MCALLESTER, D., AND CHAPMAN, D. 1987. Non-deterministic lisp with dependency-directed backtracking. In Proceedings of the 6th National Conference on Artificial Intelligence. AAAI Press, 59-64.