{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:41Z","timestamp":1772164061158,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T00:00:00Z","timestamp":1498003200000},"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,6,21]]},"DOI":"10.1145\/3078633.3081031","type":"proceedings-article","created":{"date-parts":[[2017,6,9]],"date-time":"2017-06-09T13:40:22Z","timestamp":1497015622000},"page":"51-60","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Integrated IoT programming with selective abstraction"],"prefix":"10.1145","author":[{"given":"Gyeongmin","family":"Lee","sequence":"first","affiliation":[{"name":"POSTECH, South Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Seonyeong","family":"Heo","sequence":"additional","affiliation":[{"name":"POSTECH, South Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bongjun","family":"Kim","sequence":"additional","affiliation":[{"name":"POSTECH, South Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jong","family":"Kim","sequence":"additional","affiliation":[{"name":"POSTECH, South Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hanjun","family":"Kim","sequence":"additional","affiliation":[{"name":"POSTECH, South Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,6,21]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Google Web Toolkit. https:\/\/developers.google.com\/ web-toolkit\/.  Google Web Toolkit. https:\/\/developers.google.com\/ web-toolkit\/."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.485843"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.126768"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2684432.2684439"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1995.1119"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294265"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(03)00052-9"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1966445.1966473"},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the 5th International Conference on Formal Methods for Components and Objects","author":"Cooper E.","year":"2006"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1814433.1814441"},{"key":"e_1_3_2_1_11_1","unstructured":"Eclipse SmartHome. http:\/\/eclipse.org\/smarthome.  Eclipse SmartHome. http:\/\/eclipse.org\/smarthome."},{"key":"e_1_3_2_1_12_1","unstructured":"Esperanto Demo. https:\/\/youtu.be\/BhrmU5KjX9M.  Esperanto Demo. https:\/\/youtu.be\/BhrmU5KjX9M."},{"key":"e_1_3_2_1_13_1","unstructured":"Gartner. Gartner says the Internet of Things installed base will grow to 26 billion units by 2020. http:\/\/www.gartner.com\/ newsroom\/id\/2636073.  Gartner. Gartner says the Internet of Things installed base will grow to 26 billion units by 2020. http:\/\/www.gartner.com\/ newsroom\/id\/2636073."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781133"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/IOT.2015.7356560"},{"key":"e_1_3_2_1_16_1","volume-title":"In Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation","author":"Gordon M. S.","year":"2012"},{"key":"e_1_3_2_1_17_1","unstructured":"Hardkernel:ODROID. https:\/\/www.hardkernel.com.  Hardkernel:ODROID. https:\/\/www.hardkernel.com."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/296806.296826"},{"key":"e_1_3_2_1_19_1","unstructured":"IoTivity Project. https:\/\/www.iotivity.org.  IoTivity Project. https:\/\/www.iotivity.org."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/139669.139676"},{"key":"e_1_3_2_1_21_1","volume-title":"Mobile Computing, Applications, and Services.","author":"Kemp R.","year":"2012"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250755"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2016.103"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2684432.2684436"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/977395.977673"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2830772.2830833"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/75104.75105"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2150976.2150979"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1476589.1476628"},{"key":"e_1_3_2_1_30_1","unstructured":"Node-RED. http:\/\/nodered.org.  Node-RED. http:\/\/nodered.org."},{"key":"e_1_3_2_1_31_1","unstructured":"OpenRemote. http:\/\/www.openremote.org.  OpenRemote. http:\/\/www.openremote.org."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/268998.266673"},{"key":"e_1_3_2_1_33_1","unstructured":"SmartThings. http:\/\/www.smartthings.com.  SmartThings. http:\/\/www.smartthings.com."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1322263.1322279"},{"key":"e_1_3_2_1_35_1","unstructured":"The Thing System. http:\/\/thethingsystem.com.  The Thing System. http:\/\/thethingsystem.com."},{"key":"e_1_3_2_1_36_1","unstructured":"xively by LogMein. http:\/\/www.xively.com.  xively by LogMein. http:\/\/www.xively.com."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/2685048.2685057"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065910.1065913"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.159038"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/238721.238763"}],"event":{"name":"LCTES '17: SIGPLAN\/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2017","location":"Barcelona Spain","acronym":"LCTES '17","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 18th ACM SIGPLAN\/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3078633.3081031","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3078633.3081031","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:30:31Z","timestamp":1750203031000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3078633.3081031"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,21]]},"references-count":40,"alternative-id":["10.1145\/3078633.3081031","10.1145\/3078633"],"URL":"https:\/\/doi.org\/10.1145\/3078633.3081031","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3140582.3081031","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2017,6,21]]},"assertion":[{"value":"2017-06-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}