{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:18:52Z","timestamp":1750306732753,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":49,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,10,14]],"date-time":"2014-10-14T00:00:00Z","timestamp":1413244800000},"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":[[2014,10,14]]},"DOI":"10.1145\/2661136.2661145","type":"proceedings-article","created":{"date-parts":[[2014,10,14]],"date-time":"2014-10-14T12:29:24Z","timestamp":1413289764000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Programming with Managed Time"],"prefix":"10.1145","author":[{"given":"Sean","family":"McDirmid","sequence":"first","affiliation":[{"name":"Microsoft Research, Beijing, China"}]},{"given":"Jonathan","family":"Edwards","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, MA, USA"}]}],"member":"320","published-online":{"date-parts":[[2014,10,14]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"249","volume-title":"CIDR","author":"Alvaro P.","year":"2011","unstructured":"P. Alvaro , N. Conway , J. Hellerstein , and W. R. Marczak . Consistency analysis in bloom: a calm and collected approach . In CIDR , pages 249 -- 260 , 2011 . P. Alvaro, N. Conway, J. Hellerstein, and W. R. Marczak. Consistency analysis in bloom: a calm and collected approach. In CIDR, pages 249--260, 2011."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/646723.702721"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-04483-5_1"},{"key":"e_1_3_2_1_4_1","first-page":"171","volume-title":"Proc. of Automated and Algorithmic Debugging","author":"Booth S. P.","year":"1997","unstructured":"S. P. Booth and S. B. Jones . Walk backwards to happiness - debugging by time travel . In Proc. of Automated and Algorithmic Debugging , pages 171 -- 183 , 1997 . S. P. Booth and S. B. Jones. Walk backwards to happiness - debugging by time travel. In Proc. of Automated and Algorithmic Debugging, pages 171--183, 1997."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869515"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048101"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31057-7_14"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462170"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41641"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/11693024_20"},{"key":"e_1_3_2_1_11_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_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1240233.1240236"},{"key":"e_1_3_2_1_13_1","volume-title":"http:\/\/pypi.python.org\/pypi\/Trellis","author":"Eby P. J.","year":"2009","unstructured":"P. J. Eby . Trellis. http:\/\/pypi.python.org\/pypi\/Trellis , 2009 . P. J. Eby. Trellis. http:\/\/pypi.python.org\/pypi\/Trellis, 2009."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1639950.1640058"},{"key":"e_1_3_2_1_15_1","volume-title":"http:\/\/conal.net\/fran\/tutorial.htm","author":"Elliott C.","year":"1998","unstructured":"C. Elliott . Composing reactive animations. http:\/\/conal.net\/fran\/tutorial.htm , 1998 . C. Elliott. Composing reactive animations. http:\/\/conal.net\/fran\/tutorial.htm, 1998."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/258948.258973"},{"key":"e_1_3_2_1_17_1","unstructured":"Facebook. React: A javascript library for building user interfaces. http:\/\/facebook.github.io\/react 2014.  Facebook. React: A javascript library for building user interfaces. http:\/\/facebook.github.io\/react 2014."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/97945.97957"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/72935.72957"},{"key":"e_1_3_2_1_20_1","first-page":"144","volume-title":"VLDB","author":"Gray J.","year":"1981","unstructured":"J. Gray . The transaction concept: Virtues and limitations (invited paper) . In VLDB , pages 144 -- 154 , 1981 . J. Gray. The transaction concept: Virtues and limitations (invited paper). In VLDB, pages 144--154, 1981."},{"key":"e_1_3_2_1_21_1","volume-title":"Coherence in computer graphics. Technical report","author":"Gr\u00f6ller E.","year":"1992","unstructured":"E. Gr\u00f6ller and W. Purgathofer . Coherence in computer graphics. Technical report , Vienna University of Technology , 1992 . E. Gr\u00f6ller and W. Purgathofer. Coherence in computer graphics. Technical report, Vienna University of Technology, 1992."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297080"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/340855.340961"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3916.3988"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2380116.2380142"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/319838.319854"},{"issue":"4","key":"e_1_3_2_1_28_1","volume":"13","author":"K\u00f6lling M.","year":"2003","unstructured":"M. K\u00f6lling , B. Quig , A. Patterson , and J. Rosenberg . The BlueJ system and its pedagogy. Journal of Computer Science Education , 13 ( 4 ), Dec. 2003 . M. K\u00f6lling, B. Quig, A. Patterson, and J. Rosenberg. The BlueJ system and its pedagogy. Journal of Computer Science Education, 13(4), Dec. 2003.","journal-title":"Journal of Computer Science Education"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2502323.2502326"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70592-5_25"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297073"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509578.2509585"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2168796.2169076"},{"key":"e_1_3_2_1_34_1","unstructured":"Meso group. VVVV - a multipurpose toolkit. http:\/\/www.vvvv.org 2009.  Meso group. VVVV - a multipurpose toolkit. http:\/\/www.vvvv.org 2009."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640091"},{"key":"e_1_3_2_1_36_1","volume-title":"Sams","author":"Nathan A.","year":"2006","unstructured":"A. Nathan . Windows Presentation Foundation Unleashed (WPF) (Unleashed) . Sams , 2006 . A. Nathan. Windows Presentation Foundation Unleashed (WPF) (Unleashed). Sams, 2006."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/581690.581695"},{"key":"e_1_3_2_1_38_1","volume-title":"personal communication","author":"Odersky M.","year":"2011","unstructured":"M. Odersky . personal communication , 2011 . M. Odersky. personal communication, 2011."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094815"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297067"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/800020.808246"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509578.2509591"},{"key":"e_1_3_2_1_43_1","first-page":"89","volume-title":"Proc. of SBLP","author":"Sant'Anna F.","year":"2009","unstructured":"F. Sant'Anna and R. Ierusalimschy . LuaGravity, a reactive language based on implicit invocation . In Proc. of SBLP , pages 89 -- 102 , 2009 . F. Sant'Anna and R. Ierusalimschy. LuaGravity, a reactive language based on implicit invocation. In Proc. of SBLP, pages 89--102, 2009."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517351.2517360"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/38765.38828"},{"key":"e_1_3_2_1_46_1","unstructured":"G. van Rossum. The Python programming language manual. http:\/\/www.python.org 1990--2013.  G. van Rossum. The Python programming language manual. http:\/\/www.python.org 1990--2013."},{"key":"e_1_3_2_1_47_1","volume-title":"Jan.","author":"Victor B.","year":"2012","unstructured":"B. Victor . Inventing on principle. Invited talk at CUSEC , Jan. 2012 . B. Victor. Inventing on principle. Invited talk at CUSEC, Jan. 2012."},{"key":"e_1_3_2_1_48_1","volume-title":"Sept.","author":"Victor B.","year":"2012","unstructured":"B. Victor . Learnable programming. http:\/\/worrydream.com\/LearnableProgramming , Sept. 2012 . B. Victor. Learnable programming. http:\/\/worrydream.com\/LearnableProgramming, Sept. 2012."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032497.2032510"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/258549.258721"}],"event":{"name":"SPLASH '14: Conference on Systems, Programming, and Applications: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"],"location":"Portland Oregon USA","acronym":"SPLASH '14"},"container-title":["Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2661136.2661145","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2661136.2661145","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:19:46Z","timestamp":1750231186000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2661136.2661145"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,14]]},"references-count":49,"alternative-id":["10.1145\/2661136.2661145","10.1145\/2661136"],"URL":"https:\/\/doi.org\/10.1145\/2661136.2661145","relation":{},"subject":[],"published":{"date-parts":[[2014,10,14]]},"assertion":[{"value":"2014-10-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}