{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T16:34:05Z","timestamp":1730219645290,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,9]]},"DOI":"10.1109\/emsoft.2018.8537193","type":"proceedings-article","created":{"date-parts":[[2018,11,20]],"date-time":"2018-11-20T01:50:22Z","timestamp":1542678622000},"page":"1-3","source":"Crossref","is-referenced-by-count":1,"title":["Work-in-Progress: VerticalThings - A Language-Based Microkernel for Constrained IoT Devicer"],"prefix":"10.1109","author":[{"given":"Jayaraj","family":"Poroor","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/224057.224077"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44577-3_6"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1243418.1243424"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1218063.1217953"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1975.9939"},{"key":"ref3","volume":"26","author":"freeman","year":"1991","journal-title":"Refinement types for ML"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2641638.2641652"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-27139-2_7"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/LCN.2004.38"},{"key":"ref7","volume":"5","author":"goyette","year":"2007","journal-title":"An Analysis and Description of the Inner Workings of the FreeRTOS Kernel"},{"key":"ref2","first-page":"520","article-title":"De-pendent types for low-level programming","author":"condit","year":"2007","journal-title":"European Symposium on Programming"},{"key":"ref1","article-title":"Capability myths demolished","author":"miller","year":"2003","journal-title":"Technical Report SRL2003–02"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOMW.2013.6970748"}],"event":{"name":"2018 International Conference on Embedded Software (EMSOFT)","start":{"date-parts":[[2018,9,30]]},"location":"Turin","end":{"date-parts":[[2018,10,5]]}},"container-title":["2018 International Conference on Embedded Software (EMSOFT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8520558\/8537184\/08537193.pdf?arnumber=8537193","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,27]],"date-time":"2022-01-27T03:02:37Z","timestamp":1643252557000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8537193\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/emsoft.2018.8537193","relation":{},"subject":[],"published":{"date-parts":[[2018,9]]}}}