{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T09:22:18Z","timestamp":1763457738875,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,7]]},"DOI":"10.1109\/indin.2018.8472097","type":"proceedings-article","created":{"date-parts":[[2018,10,9]],"date-time":"2018-10-09T02:00:15Z","timestamp":1539050415000},"page":"87-94","source":"Crossref","is-referenced-by-count":2,"title":["Heapless: Dynamic Data Structures without Dynamic Heap Allocator for Rust"],"prefix":"10.1109","author":[{"given":"Jorge Aparicio","family":"Rivera","sequence":"first","affiliation":[]},{"given":"Marcus","family":"Lindner","sequence":"additional","affiliation":[]},{"given":"Per","family":"Lindgren","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2004.1311009"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1145\/2692956.2663188","article-title":"The rust language","volume":"34","author":"matsakis","year":"2014","journal-title":"ACM SIGAda Ada Letters"},{"journal-title":"Primitive type slice","year":"2018","key":"ref12"},{"journal-title":"Primitive type str","year":"2018","key":"ref13"},{"journal-title":"The panic! macro","year":"2018","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2002.1019184"},{"journal-title":"C reference std allocator","year":"2018","key":"ref16"},{"journal-title":"fixedvec","year":"2017","author":"schievink","key":"ref17"},{"journal-title":"fixedvec","year":"2016","author":"stevens","key":"ref18"},{"journal-title":"serde-json","year":"2018","author":"tolnay","key":"ref19"},{"journal-title":"heapless","year":"2018","author":"aparicio","key":"ref4"},{"journal-title":"serde-json-core","year":"2018","author":"aparicio","key":"ref3"},{"journal-title":"bluss","year":"2018","key":"ref6"},{"journal-title":"Real Time For the Masses (RTFM) framework for ARM Cortex-M microcontrollers","year":"2018","author":"aparicio","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/69624.357207"},{"key":"ref7","first-page":"66","article-title":"Rustbelt: Securing the foundations of the rust programming language","volume":"2","author":"jung","year":"2017","journal-title":"Proceedings of the ACM on Programming Languages"},{"journal-title":"Full source for code snippets","year":"2018","author":"aparicio","key":"ref2"},{"journal-title":"A CoAP server that runs on an ARM Cortex- M microcontroller","year":"2018","author":"aparicio","key":"ref1"},{"key":"ref9","doi-asserted-by":"crossref","DOI":"10.1109\/INDIN.2018.8471992","article-title":"No Panic! Verification of Rust Programs by Symbolic Execution","author":"lindner","year":"2018","journal-title":"To appear at The IEEE International Conference on Industrial Informatics 2018 (INDIN2018)"}],"event":{"name":"2018 IEEE 16th International Conference on Industrial Informatics (INDIN)","start":{"date-parts":[[2018,7,18]]},"location":"Porto","end":{"date-parts":[[2018,7,20]]}},"container-title":["2018 IEEE 16th International Conference on Industrial Informatics (INDIN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8453042\/8471919\/08472097.pdf?arnumber=8472097","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,23]],"date-time":"2020-08-23T22:16:37Z","timestamp":1598220997000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8472097\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/indin.2018.8472097","relation":{},"subject":[],"published":{"date-parts":[[2018,7]]}}}