{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:09:15Z","timestamp":1725566955722},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540281283"},{"type":"electronic","value":"9783540318231"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11535409_60","type":"book-chapter","created":{"date-parts":[[2010,9,28]],"date-time":"2010-09-28T01:23:48Z","timestamp":1285637028000},"page":"418-422","source":"Crossref","is-referenced-by-count":1,"title":["New Approach for Device Driver Development \u2013 Devil+ Language"],"prefix":"10.1007","author":[{"given":"Yingxi","family":"Yu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mingyuan","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shuoying","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"60_CR1","volume-title":"Linux Device Drivers","author":"A. Rubini","year":"1998","unstructured":"Rubini, A.: Linux Device Drivers, 1st edn. O\u2019Reilly, Sebastopol (1998)","edition":"1"},{"key":"60_CR2","doi-asserted-by":"crossref","unstructured":"Bershad, B.N., Anderson, T.E., Lazowska, E.D., Levy, H.M.: Lightweight remote procedure call. ACM Transactions on Computer Systems (February 1990)","DOI":"10.1145\/77648.77650"},{"key":"60_CR3","unstructured":"R\u00e9veill\u00e8re, L., M\u00e9rillon, F., Consel, C., Marlet, R., Muller, G.: Devil: An IDL for Hardware Programming. In: OSDI 2000, San Diego, October 2000, pp. 17\u201330 (2000)"},{"key":"60_CR4","unstructured":"R\u00e9veill\u00e8re, L., M\u00e9rillon, F., Consel, C., Marlet, R., Muller, G.: The Devil Language release 0.4. August 24 (2000)"},{"issue":"4","key":"60_CR5","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1145\/844091.844100","volume":"38","author":"L. Luo","year":"2003","unstructured":"Luo, L., Zhu, M.-Y., Zhang, Q.-L.: A formal semantic definition of DEVIL. SIGPLAN Notices\u00a038(4), 47\u201356 (2003)","journal-title":"SIGPLAN Notices"},{"key":"60_CR6","unstructured":"Zhu, M.-Y., Luo, L., Xiong, G.-Z.: High-availability in \u03b4-CORE: A formal derivation. Dedicated Systems Magazine (July 2001)"},{"issue":"6","key":"60_CR7","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1145\/885638.885649","volume":"38","author":"Q.-L. Zhang","year":"2003","unstructured":"Zhang, Q.-L., Zhu, M.-Y., Chen, S.-Y.: Automatic generation of device drivers. SIGPLAN Notices\u00a038(6), 60\u201369 (2003)","journal-title":"SIGPLAN Notices"},{"key":"60_CR8","unstructured":"SHARP Inc. LH79520 USER\u2019S GUIDE"},{"key":"60_CR9","unstructured":"Katayama, T., Saisho, K., Fukuda, A.: Prototype of the device driver generation system for unix-like operation systems. In: Proceedings of ISPSE 2000 (November 2000)"}],"container-title":["Lecture Notes in Computer Science","Embedded Software and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11535409_60.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T02:52:24Z","timestamp":1619491944000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11535409_60"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540281283","9783540318231"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/11535409_60","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}