Reactive imperative programming with dataflow constraints

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn , Issue , 2011, Pages 407-426

  Demetrescu, Camil ^a   Finocchi, Irene ^a   Ribichini, Andrea ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

Constraint solving; Data structure repair; Dataflow programming; Imperative programming; Incremental computation; Observer design pattern; Reactive programming

Indexed keywords

CONSTRAINT SOLVING; DATA STRUCTURE REPAIR; DATAFLOW PROGRAMMING; IMPERATIVE PROGRAMMING; INCREMENTAL COMPUTATION; OBSERVER DESIGN; REACTIVE PROGRAMMING;

COMPUTATIONAL EFFICIENCY; COMPUTER SYSTEMS PROGRAMMING; DATA STRUCTURES; FORMAL METHODS; SEMANTICS;

OBJECT ORIENTED PROGRAMMING;

EID: 81455159354     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2048066.2048100     Document Type: Conference Paper

References (48)

1. M. Abadi, T. Harris, and M. Mehrara. Transactional Memory with Strong Atomicity Using Off-the-Shelf Memory Protection Hardware. In PPoPP, pages 185-196, 2009.
2. R. Abraham, M. M. Burnett, and M. Erwig. Spreadsheet Programming. In Wiley Encyclopedia of Computer Science and Engineering. John Wiley & Sons, Inc., 2008.
3. U. A. Acar. Self-Adjusting Computation: (an Overview). In PEPM, pages 1-6, 2009.
4. U. A. Acar, G. E. Blelloch, M. Blume, and K. Tangwongsan. An Experimental Analysis of Self-Adjusting Computation. In PLDI, pages 96-107, 2006.
5. U. A. Acar, G. E. Blelloch, R. Ley-Wild, K. Tangwongsan, and D. Türkoglu. Traceable Data Types for Self-Adjusting Computation. In PLDI, pages 483-496, 2010.
6. B. Alpern, R. Hoover, B. K. Rosen, P. F. Sweeney, and F. K. Zadeck. Incremental Evaluation of Computational Circuits. In SODA, pages 32-42, 1990.
7. K. R. Apt. Principles of Constraint Programming. Cambridge University Press, 2003.
8. R. Bellmann. On a Routing Problem. Quarterly of Applied Mathematics, 16:87-90, 1958.
9. C. Bessiere. Constraint Propagation. In F. Rossi, P. van Beek, and T. Walsh, editors, Handbook of Constraint Programming. 2006.
10. P. A. Blume. The LabVIEW Style Book. Prentice Hall, 2007.
11. A. Borning. The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory. ACM Transactions on Programming Languages and Systems, 3(4):353-387, 1981.
12. F. Boussinot and J.-F. Susini. The SugarCubes Tool Box: a Reactive Java Framework. Software: Practice and Experience, 28(14):1531-1550, 1998. (Pubitemid 128683413)
13. P. Caspi, P. Pilaud, N. Halbwachs, and J. Plaice. Lustre, a Declarative Language for Programming Synchronous Systems. In POPL, pages 178-188, 1987.
14. C. Chambers, B. Harrison, and J. Vlissides. A Debate on Language and Tool Support for Design Patterns. In POPL, pages 277-289, 2000.
15. G. H. Cooper and S. Krishnamurthi. Embedding Dynamic Dataflow in a Call-by-Value Language. In ESOP, pages 294- 308, 2006. (Pubitemid 44019566)
16. A. Courtney. Frappé: Functional Reactive Programming in Java. In PADL, pages 29-44, 2001.
17. P. Cousot and R. Cousot. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In POPL, pages 238-252, 1977.
18. P. Crescenzi, C. Demetrescu, I. Finocchi, and R. Petreschi. Reversible Execution and Visualization of Programs with Leonardo. Journal of Visual Languages and Computing, 11 (2):125-150, 2000.
19. A. J. Demers, T. W. Reps, and T. Teitelbaum. Incremental Evaluation for Attribute Grammars with Application to Syntax-Directed Editors. In POPL, pages 105-116, 1981.
20. C. Demetrescu. Fully Dynamic Algorithms for Path Problems on Directed Graphs. PhD thesis, Sapienza University of Rome, 2001.
21. C. Demetrescu, I. Finocchi, and G. Italiano. Handbook on Data Structures and Applications, chapter 36: Dynamic Graphs. D. Mehta and S. Sahni (eds.), CRC Press, 2005.
22. C. Demetrescu, A. V. Goldberg, and D. S. Johnson, editors. The Shortest Path Problem: Ninth DIMACS Implementation Challenge. American Mathematical Society, 2009.
23. C. Demetrescu, I. Finocchi, and A. Ribichini. Reactive Imperative Programming with Dataflow Constraints. Technical Report arXiv:1104.2293, April 2011.
24. B. Demsky and M. Rinard. Automatic Detection and Repair of Errors in Data Structures. In OOPSLA, pages 78-95, 2003.
25. C. Elliott and P. Hudak. Functional Reactive Animation. In ICFP, pages 263-273, 1997.
26. A. Ezust and P. Ezust. An Introduction to Design Patterns in C++ with Qt 4. Prentice Hall, 2006.
27. B. Freeman-Benson and A. Borning. Integrating Constraints with an Object-Oriented Language. In ECOOP, pages 268- 286, 1992.
28. T. Groetker, S. Liao, G. Martin, and S. Swan. System Design with SystemC. Kluwer Academic Publishers, 2002.
29. P. L. Guernic, A. Benveniste, P. Bournai, and T. Gautier. SIGNAL - A Data Flow-Oriented Language for Signal Processing. IEEE Transactions on Acoustics, Speech and Signal Processing, 34(2):362-374, 1986. (Pubitemid 16576067)
30. M. Hammer, U. A. Acar, and Y. Chen. CEAL: a C-based Language for Self-Adjusting Computation. In PLDI, pages 25-37, 2009.
31. C. Holzbaur. Metastructures vs. Attributed Variables in the Context of Extensible Unification - Applied for the Implementation of CLP Languages. In PLILP, pages 260-268, 1992.
32. C. Holzbaur and T. Frühwirth. Compiling Constraint Handling Rules into Prolog with Attributed Variables. In PPDP, pages 117-133. 1999.
33. P. Hudak, S. Peyton Jones, and P. Wadler (editors). Report on the Programming Language Haskell, A Non-strict Purely Functional Language (Version 1.2). ACM SIGPLAN Notices, 27(5), 1992.
34. S. E. Hudson. Incremental Attribute Evaluation: A Flexible Algorithm for Lazy Update. ACM Transactions on Programming Languages and Systems, 13(3):315-341, 1991.
35. D. Ignatoff, G. H. Cooper, and S. Krishnamurthi. Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages. In FLOPS, pages 259-276, 2006. (Pubitemid 44029272)
36. A. Kay. Computer software. Scientific American, 251(3):191- 207, 1984.
37. D. E. Knuth. Semantics of Context-free Languages. Theory of Computing Systems, 2(2):127-145, 1968.
38. M. Z. Malik, K. Ghori, B. Elkarablieh, and S. Khurshid. A Case for Automated Debugging Using Data Structure Repair. In ASE, pages 620-624, 2009.
39. L. Mandel and M. Pouzet. ReactiveML, a Reactive Extension to ML. In PPDP, pages 82-93, 2005. (Pubitemid 44073991)
40. L. A. Meyerovich, A. Guha, J. Baskin, G. H. Cooper, M. Greenberg, A. Bromfield, and S. Krishnamurthi. Flapjax: a Programming Language for Ajax Applications. In OOPSLA, pages 1-20, 2009.
41. B. A. Myers, R. G. McDaniel, R. C. Miller, A. S. Ferrency, A. Faulring, B. D. Kyle, A. Mickish, A. Klimovitski, and P. Doane. The Amulet Environment: New Models for Effective User Interface Software Development. IEEE Transactions on Software Engineering, 23(6):347-365, 1997. (Pubitemid 127828299)
42. H. Nilsson, A. Courtney, and J. Peterson. Functional Reactive Programming, Continued. In HASKELL, pages 51-64, 2002.
43. S. Prasad and S. Arun-Kumar. An Introduction to Operational Semantics. In Compiler Design Handbook: Optimizations and Machine Code, pages 841-890. CRC Press, Boca Raton, 2002.
44. G. Ramalingam and T. Reps. An Incremental Algorithm for a Generalization of the Shortest-Path Problem. Journal of Algorithms, 21(2):267 - 305, 1996. (Pubitemid 126412538)
45. U.S. Census Bureau, Washington, DC. UA Census 2000 TIGER/Line Files. http://www.census.gov/geo/www/tiger/2002.
46. B. T. Vander Zanden, R. Halterman, B. A. Myers, R. Mc- Daniel, R. Miller, P. Szekely, D. A. Giuse, and D. Kosbie. Lessons Learned about One-Way, Dataflow Constraints in the Garnet and Amulet Graphical Toolkits. ACM Transactions on Programming Languages and Systems, 23(6):776-796, 2001. (Pubitemid 33609127)
47. Z. Wan and P. Hudak. Functional Reactive Programming from First Principles. In PLDI, pages 242-252, 2000. (Pubitemid 32394098)
48. N.-F. Zhou. Programming Finite-Domain Constraint Propagators in Action Rules. Theory and Practice of Logic Programming, 6:483-507, 2006. (Pubitemid 44186912)