{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,2]],"date-time":"2026-04-02T10:31:15Z","timestamp":1775125875523,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,10,25]],"date-time":"2017-10-25T00:00:00Z","timestamp":1508889600000},"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":[[2017,10,25]]},"DOI":"10.1145\/3133850.3133860","type":"proceedings-article","created":{"date-parts":[[2017,10,13]],"date-time":"2017-10-13T15:16:02Z","timestamp":1507907762000},"page":"119-133","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":24,"title":["IOTA: a calculus for internet of things automation"],"prefix":"10.1145","author":[{"given":"Julie L.","family":"Newcomb","sequence":"first","affiliation":[{"name":"University of Washington, USA"}]},{"given":"Satish","family":"Chandra","sequence":"additional","affiliation":[{"name":"Samsung Research, USA"}]},{"given":"Jean-Baptiste","family":"Jeannin","sequence":"additional","affiliation":[{"name":"Samsung Research, USA"}]},{"given":"Cole","family":"Schlesinger","sequence":"additional","affiliation":[{"name":"Samsung Research, USA"}]},{"given":"Manu","family":"Sridharan","sequence":"additional","affiliation":[{"name":"Samsung Research, USA"}]}],"member":"320","published-online":{"date-parts":[[2017,10,25]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/646483.691738"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1978942.1979249"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/2813767.2813780"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/44203.44208"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2000.896524"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2750858.2805830"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/985692.985712"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/SNPD.2008.158"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1518701.1519023"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2013.02.026"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1124772.1124832"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2800835.2800916"},{"key":"e_1_3_2_1_14_1","volume-title":"Proc. of Int\u2019l. Conf. on Feature Interactions in Telecommunication Networks and Distributed Systems (ICFI\u201905)","author":"Nakamura Masahide","year":"2005","unstructured":"Masahide Nakamura , Hiroshi Igaki , and Ken-ichi Matsumoto. 2005 . Feature interactions in integrated services of networked home appliances . In Proc. of Int\u2019l. Conf. on Feature Interactions in Telecommunication Networks and Distributed Systems (ICFI\u201905) . 236\u2013251. Masahide Nakamura, Hiroshi Igaki, and Ken-ichi Matsumoto. 2005. Feature interactions in integrated services of networked home appliances. In Proc. of Int\u2019l. Conf. on Feature Interactions in Telecommunication Networks and Distributed Systems (ICFI\u201905). 236\u2013251."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2993600.2993601"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/311531.311623"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2005.1560170"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/THMS.2014.2364613"},{"key":"e_1_3_2_1_19_1","first-page":"121","article-title":"A survey of program slicing techniques","volume":"3","author":"Tip Frank","year":"1995","unstructured":"Frank Tip . 1995 . A survey of program slicing techniques . Journal of programming languages 3 , 3 (1995), 121 \u2013 189 . Frank Tip. 1995. A survey of program slicing techniques. Journal of programming languages 3, 3 (1995), 121\u2013189.","journal-title":"Journal of programming languages"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2556288.2557420"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/IE.2010.56"},{"key":"e_1_3_2_1_22_1","volume-title":"Toward usercentric feature composition for the Internet of Things. arXiv preprint arXiv:1510.06714","author":"Zave Pamela","year":"2015","unstructured":"Pamela Zave , Eric Cheung , and Svetlana Yarosh . 2015. Toward usercentric feature composition for the Internet of Things. arXiv preprint arXiv:1510.06714 ( 2015 ). Pamela Zave, Eric Cheung, and Svetlana Yarosh. 2015. Toward usercentric feature composition for the Internet of Things. arXiv preprint arXiv:1510.06714 (2015)."}],"event":{"name":"SPLASH '17: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","location":"Vancouver BC Canada","acronym":"SPLASH '17","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"]},"container-title":["Proceedings of the 2017 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\/3133850.3133860","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3133850.3133860","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:30:34Z","timestamp":1750217434000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3133850.3133860"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,25]]},"references-count":22,"alternative-id":["10.1145\/3133850.3133860","10.1145\/3133850"],"URL":"https:\/\/doi.org\/10.1145\/3133850.3133860","relation":{},"subject":[],"published":{"date-parts":[[2017,10,25]]},"assertion":[{"value":"2017-10-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}