{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:27:30Z","timestamp":1725488850611},"publisher-location":"Berlin, Heidelberg","reference-count":2,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540403760"},{"type":"electronic","value":"9783540449478"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44947-7_9","type":"book-chapter","created":{"date-parts":[[2007,8,8]],"date-time":"2007-08-08T06:04:46Z","timestamp":1186553086000},"page":"129-141","source":"Crossref","is-referenced-by-count":2,"title":["Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada"],"prefix":"10.1007","author":[{"given":"Emmanuel","family":"Briot","sequence":"first","affiliation":[]},{"given":"Franco","family":"Gasperoni","sequence":"additional","affiliation":[]},{"given":"Robert","family":"Dewar","sequence":"additional","affiliation":[]},{"given":"Dirk","family":"Craeynest","sequence":"additional","affiliation":[]},{"given":"Philippe","family":"Waroquiers","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,6,18]]},"reference":[{"key":"9_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45340-7","volume-title":"Consolidated Ada Reference Manual. Language and Standard Libraries","author":"S.T. Taft","year":"2001","unstructured":"Taft, S.T., Duff, R.A., Brukardt, R.L. and Pl\u00f6dereder, E.; Consolidated Ada Reference Manual. Language and Standard Libraries, ISO\/IEC 8652:1995(E) with COR.1:2000, Lecture Notes in Computer Science, vol. 2219, Springer-Verlag, 2001."},{"issue":"3","key":"9_CR2","first-page":"182","volume":"19","author":"J. Barnes","year":"2001","unstructured":"Barnes, J.; Storage Pool Alignment, Ada User Journal, pp. 182\u2013187, vol. 19, number 3, October 2001.","journal-title":"Ada User Journal"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2014 Ada-Europe 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44947-7_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T04:11:13Z","timestamp":1550722273000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44947-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540403760","9783540449478"],"references-count":2,"URL":"https:\/\/doi.org\/10.1007\/3-540-44947-7_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}