{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:06Z","timestamp":1725663966851},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540578772"},{"type":"electronic","value":"9783540483717"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-57877-3_20","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:35:34Z","timestamp":1330263334000},"page":"294-308","source":"Crossref","is-referenced-by-count":4,"title":["Towards provably correct code generation for a hard real-time programming language"],"prefix":"10.1007","author":[{"given":"Martin","family":"Fr\u00e4nzle","sequence":"first","affiliation":[]},{"given":"Markus","family":"M\u00fcller-Olm","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Bettina Buth, Karl-Heinz Buth, Martin Fr\u00e4nzle, Burghard v. Karger, Yassine Lakhneche, Hans Langmaack, and Markus M\u00fcller-Olm. Provably correct compiler development and implementation. In U. Kastens and P. Pfahler, editors, Compiler Construction, pages 141\u2013155. Springer, 1992. LNCS 641.","key":"20_CR1","DOI":"10.1007\/3-540-55984-1_14"},{"key":"20_CR2","volume-title":"ProCoS II project document [Kiel MF 10\/2]","author":"M. Fr\u00e4nzle","year":"1993","unstructured":"Martin Fr\u00e4nzle and Markus M\u00fcller-Olm. Drift and Granularity of Time in Real-Time System Implementation. ProCoS II project document [Kiel MF 10\/2], Christian-Albrechts-Universit\u00e4t Kiel, Germany, August 1993."},{"key":"20_CR3","volume-title":"ProCoS II project document [Kiel MF 11\/3]","author":"M. Fr\u00e4nzle","year":"1993","unstructured":"Martin Fr\u00e4nzle and Burghard von Karger. Proposal for a Programming Language Core for ProCoS II. ProCoS II project document [Kiel MF 11\/3], Christian-Albrechts-Universit\u00e4t Kiel, Germany, August 1993."},{"key":"20_CR4","volume-title":"ProCoS II project document [OU BvK 9\/6]","author":"B. Karger von","year":"1993","unstructured":"Burghard von Karger. A simple wide-spectrum model for real time systems. ProCoS II project document [OU BvK 9\/6], Oxford University Programming Research Group, UK, August 1993."},{"key":"20_CR5","volume-title":"ProCoS II project document [Kiel MMO 6\/2]","author":"M. M\u00fcller-Olm","year":"1993","unstructured":"Markus M\u00fcller-Olm. On Translation of TimedPL and Capture of Machine Instruction Timing. ProCoS II project document [Kiel MMO 6\/2], Christian-Albrechts-Universit\u00e4t Kiel, Germany, August 1993."},{"unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall International, 1985.","key":"20_CR6"},{"unstructured":"C.A.R. Hoare. Refinement algebra proves correctness of compiling specifications. In C.C. Morgan and J.C.P. Woodcock, editors, 3rd Refinement Workshop, Workshops in Computing, pages 33\u201348. Springer-Verlag, 1991.","key":"20_CR7"},{"unstructured":"INMOS ltd. occam 2 Reference Manual. Prentice Hall International, 1988.","key":"20_CR8"},{"unstructured":"INMOS ltd. Transputer Instruction Set \u2014 A Compiler Writer's Guide. Prentice Hall International, 1988.","key":"20_CR9"},{"unstructured":"Dines Bj\u00f8rner, C.A.R. Hoare, Hans Langmaack (Eds.). Provably correct systems. ProCoS I final deliverable, 1993. Available from the Department of Computer Science, Technical University of Denmark, Building 3440, DK-2800 Lyngby.","key":"20_CR10"},{"doi-asserted-by":"crossref","unstructured":"David Turner. An overview of miranda. SIGPLAN Notices, 1986.","key":"20_CR11","DOI":"10.1145\/15042.15053"},{"unstructured":"\u00c5ke Wikstr\u00f6m. Functional Programming Using Standard ML. Series in Computer Science. Prentice-Hall, 1987.","key":"20_CR12"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57877-3_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:15:07Z","timestamp":1605647707000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57877-3_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540578772","9783540483717"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-57877-3_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}