{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:19Z","timestamp":1772164039671,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,10,22]],"date-time":"2011-10-22T00:00:00Z","timestamp":1319241600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,10,22]]},"DOI":"10.1145\/2048066.2048100","type":"proceedings-article","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T08:23:06Z","timestamp":1319530986000},"page":"407-426","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":17,"title":["Reactive imperative programming with dataflow constraints"],"prefix":"10.1145","author":[{"given":"Camil","family":"Demetrescu","sequence":"first","affiliation":[{"name":"Sapienza University of Rome, Rome, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Irene","family":"Finocchi","sequence":"additional","affiliation":[{"name":"Sapienza University of Rome, Rome, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Ribichini","sequence":"additional","affiliation":[{"name":"Sapienza University of Rome, Rome, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,10,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1504176.1504203"},{"key":"e_1_3_2_1_2_1","volume-title":"Wiley Encyclopedia of Computer Science and Engineering","author":"Abraham R.","year":"2008","unstructured":"R. Abraham , M. M. Burnett , and M. Erwig . Spreadsheet Programming . In Wiley Encyclopedia of Computer Science and Engineering . John Wiley & Sons, Inc. , 2008 . R. Abraham, M. M. Burnett, and M. Erwig. Spreadsheet Programming. In Wiley Encyclopedia of Computer Science and Engineering. John Wiley & Sons, Inc., 2008."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480945.1480946"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1133993"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806650"},{"key":"e_1_3_2_1_6_1","first-page":"32","volume-title":"SODA","author":"Alpern B.","year":"1990","unstructured":"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 . 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."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1237975"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1090\/qam\/102435"},{"key":"e_1_3_2_1_9_1","volume-title":"Handbook of Constraint Programming.","author":"Bessiere C.","year":"2006","unstructured":"C. Bessiere . Constraint Propagation . In F. Rossi, P. van Beek, and T. Walsh, editors, Handbook of Constraint Programming. 2006 . C. Bessiere. Constraint Propagation. In F. Rossi, P. van Beek, and T. Walsh, editors, Handbook of Constraint Programming. 2006."},{"key":"e_1_3_2_1_10_1","volume-title":"The LabVIEW Style Book","author":"Blume P. A.","year":"2007","unstructured":"P. A. Blume . The LabVIEW Style Book . Prentice Hall , 2007 . P. A. Blume. The LabVIEW Style Book. Prentice Hall, 2007."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/357146.357147"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(19981210)28:14%3C1531::AID-SPE218%3E3.0.CO;2-U"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41641"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/325694.325731"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/11693024_20"},{"key":"e_1_3_2_1_16_1","first-page":"29","volume-title":"PADL","author":"Courtney A.","year":"2001","unstructured":"A. Courtney . Frapp\u00e9 : Functional Reactive Programming in Java . In PADL , pages 29 -- 44 , 2001 . A. Courtney. Frapp\u00e9: Functional Reactive Programming in Java. In PADL, pages 29--44, 2001."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1006\/jvlc.1999.0143"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/567532.567544"},{"key":"e_1_3_2_1_21_1","volume-title":"Handbook on Data Structures and Applications","author":"Demetrescu C.","year":"2005","unstructured":"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 . 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."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1090\/dimacs\/074"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/949305.949314"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/258948.258973"},{"key":"e_1_3_2_1_26_1","volume-title":"An Introduction to Design Patterns in C+ with Qt 4","author":"Ezust A.","year":"2006","unstructured":"A. Ezust and P. Ezust . An Introduction to Design Patterns in C+ with Qt 4 . Prentice Hall , 2006 . A. Ezust and P. Ezust. An Introduction to Design Patterns in C+ with Qt 4. Prentice Hall, 2006."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/646150.679346"},{"key":"e_1_3_2_1_28_1","volume-title":"System Design with SystemC","author":"Groetker T.","year":"2002","unstructured":"T. Groetker , S. Liao , G. Martin , and S. Swan . System Design with SystemC . Kluwer Academic Publishers , 2002 . T. Groetker, S. Liao, G. Martin, and S. Swan. System Design with SystemC. Kluwer Academic Publishers, 2002."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASSP.1986.1164809"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542480"},{"key":"e_1_3_2_1_31_1","first-page":"260","volume-title":"Attributed Variables in the Context of Extensible Unification - Applied for the Implementation of CLP Languages. In PLILP","author":"Holzbaur C.","year":"1992","unstructured":"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 . 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."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/645815.758228"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/130697.130699"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/117009.117012"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/11737414_18"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1038\/scientificamerican0984-52"},{"issue":"2","key":"e_1_3_2_1_37_1","first-page":"127","article-title":"Semantics of Context-free Languages","volume":"2","author":"Knuth D. E.","year":"1968","unstructured":"D. E. Knuth . Semantics of Context-free Languages . Theory of Computing Systems , 2 ( 2 ): 127 -- 145 , 1968 . D. E. Knuth. Semantics of Context-free Languages. Theory of Computing Systems, 2 (2): 127--145, 1968.","journal-title":"Theory of Computing Systems"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.92"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1069774.1069782"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640091"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.601073"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/581690.581695"},{"key":"e_1_3_2_1_43_1","first-page":"841","volume-title":"Compiler Design Handbook: Optimizations and Machine Code","author":"Prasad S.","year":"2002","unstructured":"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 . 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."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1006\/jagm.1996.0046"},{"key":"e_1_3_2_1_45_1","unstructured":"U.S. Census Bureau Washington DC. UA Census 2000 TIGER\/Line Files. http:\/\/www.census.gov\/geo\/www\/tiger\/ 2002.  U.S. Census Bureau Washington DC. UA Census 2000 TIGER\/Line Files. http:\/\/www.census.gov\/geo\/www\/tiger\/ 2002."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/506315.506318"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349331"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068405002590"}],"event":{"name":"SPLASH '11: Conference on Systems, Programming, and Applications: Software for Humanity","location":"Portland Oregon USA","acronym":"SPLASH '11","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2048066.2048100","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2048066.2048100","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:48:32Z","timestamp":1750225712000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2048066.2048100"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,22]]},"references-count":46,"alternative-id":["10.1145\/2048066.2048100","10.1145\/2048066"],"URL":"https:\/\/doi.org\/10.1145\/2048066.2048100","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2076021.2048100","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2011,10,22]]},"assertion":[{"value":"2011-10-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}