{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T04:57:08Z","timestamp":1763182628341,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,10,23]],"date-time":"2019-10-23T00:00:00Z","timestamp":1571788800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Japan Society for the Promotion of Science","award":["17K00115"],"award-info":[{"award-number":["17K00115"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,10,23]]},"DOI":"10.1145\/3359591.3359730","type":"proceedings-article","created":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T18:52:21Z","timestamp":1570733541000},"page":"17-31","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["An approach for persistent time-varying values"],"prefix":"10.1145","author":[{"given":"Tetsuo","family":"Kamina","sequence":"first","affiliation":[{"name":"Oita University, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tomoyuki","family":"Aotani","sequence":"additional","affiliation":[{"name":"Tokyo Institute of Technology, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,10,23]]},"reference":[{"key":"e_1_3_2_2_1_1","first-page":"52","volume-title":"14th USENIX Conference on File and Storage Technologies (FAST\u201916)","author":"Michael","year":"2016","unstructured":"Michael P. Andersen and David E. Culler. BTrDB: Optimizing storage system design for timeseries processing . In 14th USENIX Conference on File and Storage Technologies (FAST\u201916) , pages 39\u2013 52 , 2016 . Michael P. Andersen and David E. Culler. BTrDB: Optimizing storage system design for timeseries processing. In 14th USENIX Conference on File and Storage Technologies (FAST\u201916) , pages 39\u201352, 2016."},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180156"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28534-9_16"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660240"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/258948.258973"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1960275.1960303"},{"key":"e_1_3_2_2_9_1","first-page":"27","volume-title":"ECOOP 2016","author":"Gil Yossi","year":"2016","unstructured":"Yossi Gil and Tomer Levy . Formal language recognition with the Java type checker . In ECOOP 2016 , pages 10:1\u201310: 27 , 2016 . Yossi Gil and Tomer Levy. Formal language recognition with the Java type checker. In ECOOP 2016, pages 10:1\u201310:27, 2016."},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"e_1_3_2_2_11_1","volume-title":"REBLS\u201918","author":"Hikosaka Takumi","year":"2018","unstructured":"Takumi Hikosaka , Tetsuo Kamina , and Katsuhisa Maruyama . Visualizing reactive execution history using propagation traces . In REBLS\u201918 , 2018 . Takumi Hikosaka, Tetsuo Kamina, and Katsuhisa Maruyama. Visualizing reactive execution history using propagation traces. In REBLS\u201918, 2018."},{"key":"e_1_3_2_2_12_1","series-title":"LNCS","first-page":"97","volume-title":"TFP","author":"Horemans Jeff","year":"2017","unstructured":"Jeff Horemans and Bob Reynders . Elmsvuur: A multi-tier version of elm and its time-traveling debugger . In TFP 2017 , volume 10788 of LNCS , pages 79\u2013 97 , 2017. Jeff Horemans and Bob Reynders. Elmsvuur: A multi-tier version of elm and its time-traveling debugger. In TFP 2017, volume 10788 of LNCS , pages 79\u201397, 2017."},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2017.2740932"},{"key":"e_1_3_2_2_14_1","volume-title":"Harmonizing signals and events with a lightweight extension to Java. The Art, Science, and Engineering of Programming , 2(3)","author":"Kamina Tetsuo","year":"2018","unstructured":"Tetsuo Kamina and Tomoyuki Aotani . Harmonizing signals and events with a lightweight extension to Java. The Art, Science, and Engineering of Programming , 2(3) , 2018 . Tetsuo Kamina and Tomoyuki Aotani. Harmonizing signals and events with a lightweight extension to Java. The Art, Science, and Engineering of Programming , 2(3), 2018."},{"key":"e_1_3_2_2_15_1","first-page":"1977","volume-title":"Proceedings of the VLDB Endowment (PVLDB)","author":"Khalefa Mohamed E.","year":"2012","unstructured":"Mohamed E. Khalefa , Ulrike Fischer , Torben Bach Pedersen , and Wolfgang Lehner . Model-based integration of past & future in TimeTravel . In Proceedings of the VLDB Endowment (PVLDB) , pages 1974\u2013 1977 , 2012 . Mohamed E. Khalefa, Ulrike Fischer, Torben Bach Pedersen, and Wolfgang Lehner. Model-based integration of past & future in TimeTravel. In Proceedings of the VLDB Endowment (PVLDB), pages 1974\u20131977, 2012."},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2611286.2611290"},{"key":"e_1_3_2_2_17_1","volume-title":"ICMD 2006","author":"Meijer Erik","year":"2006","unstructured":"Erik Meijer , Brian Beckman , and Gavin Bierman . LINQ : Reconciling objects, relations and XML in the .NET framework . In ICMD 2006 , 2006 . Erik Meijer, Brian Beckman, and Gavin Bierman. LINQ: Reconciling objects, relations and XML in the .NET framework. In ICMD 2006, 2006."},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640091"},{"key":"e_1_3_2_2_19_1","volume-title":"Distributed reactive programming for reactive distributed systems. The Art, Science, and Engineering of Programming , 3(3):5:1\u20135:52","author":"Myter Florian","year":"2019","unstructured":"Florian Myter , Christophe Scholliers , and Wolfgang De Meuter . Distributed reactive programming for reactive distributed systems. The Art, Science, and Engineering of Programming , 3(3):5:1\u20135:52 , 2019 . Florian Myter, Christophe Scholliers, and Wolfgang De Meuter. Distributed reactive programming for reactive distributed systems. The Art, Science, and Engineering of Programming , 3(3):5:1\u20135:52, 2019."},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/581690.581695"},{"key":"e_1_3_2_2_21_1","volume-title":"Elm Workshop","author":"Pandy Laszlo","year":"2013","unstructured":"Laszlo Pandy . Bret Victor style reactive debugging . Elm Workshop , 2013 . Laszlo Pandy. Bret Victor style reactive debugging. Elm Workshop, 2013."},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.14778\/2824032.2824078"},{"key":"e_1_3_2_2_23_1","volume-title":"LRI","author":"Pouzet Marc","year":"2006","unstructured":"Marc Pouzet . Lucid Synchrone version 3.0: Tutorial and Reference Manual . Universit\u00e9 Paris-Sud , LRI , April 2006 . Online manual. Marc Pouzet. Lucid Synchrone version 3.0: Tutorial and Reference Manual . Universit\u00e9 Paris-Sud, LRI, April 2006. Online manual."},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2577080.2577083"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884815"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.14778\/2536222.2536232"},{"key":"e_1_3_2_2_27_1","first-page":"163","volume-title":"SLE 2009","author":"Spiewak Daniel","year":"2009","unstructured":"Daniel Spiewak and Tian Zhao . ScalaQL : Language-integrated database queries for Scala . In SLE 2009 , pages 154\u2013 163 , 2009 . Daniel Spiewak and Tian Zhao. ScalaQL: Language-integrated database queries for Scala. In SLE 2009, pages 154\u2013163, 2009."},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3035918.3056101"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45587-6_11"}],"event":{"name":"SPLASH '19: 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Athens Greece","acronym":"SPLASH '19"},"container-title":["Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3359591.3359730","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3359591.3359730","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:23:06Z","timestamp":1750202586000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3359591.3359730"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10,23]]},"references-count":28,"alternative-id":["10.1145\/3359591.3359730","10.1145\/3359591"],"URL":"https:\/\/doi.org\/10.1145\/3359591.3359730","relation":{},"subject":[],"published":{"date-parts":[[2019,10,23]]},"assertion":[{"value":"2019-10-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}