{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:13:49Z","timestamp":1725459229076},"publisher-location":"Berlin\/Heidelberg","reference-count":7,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354057316X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0039719","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T14:17:03Z","timestamp":1138198623000},"page":"349-362","source":"Crossref","is-referenced-by-count":1,"title":["Algebraically provable specification of optimized compilations"],"prefix":"10.1007","author":[{"given":"Vladimir","family":"Levin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"C.A.R. Hoare, Refinement Algebra Proves Correctness of Compiling Specifications, in: C.C. Morgan and J.C.P. Woodcock (Eds.), 3rd Refinement Workshop. Springer-Verlag, Workshops in Computing, 33\u201348, 1991.","key":"24_CR1"},{"unstructured":"He JiFeng and E.-R. Olderog (eds.), Interfaces between Languages for Concurrent Systems, volume II. ESPRIT BRA ProCoS Project Deliverable, 1991.","key":"24_CR2"},{"issue":"8","key":"24_CR3","doi-asserted-by":"crossref","first-page":"672","DOI":"10.1145\/27651.27653","volume":"30","author":"C.A.R. Hoare","year":"1987","unstructured":"C.A.R. Hoare, J.M. Spivey and others, Laws of Programming. Comm. ACM, 30, 8 (1987), 672\u2013686.","journal-title":"Comm. ACM"},{"unstructured":"He JiFeng, Jonathan Bowen, Specification, Verification and Prototyping of an Optimized Compiler (submitted to Formal Aspects of Computing in 1992).","key":"24_CR4"},{"unstructured":"A.V. Aho and J.D. Ullman, Principles of Compiler Design. Addison-Wisley, Series in Computer Science and Information Processing, 1977.","key":"24_CR5"},{"key":"24_CR6","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/0304-3975(91)90296-E","volume":"90","author":"I.V. Pottosin","year":"1991","unstructured":"I.V. Pottosin, Analysis of Program Optimization and Further Development. Theoretical Computer Science, 90 (1991), 17\u201336.","journal-title":"Theoretical Computer Science"},{"unstructured":"W.-P. de Roever, G. Rozenberg (eds.), Stepwise Refinement of Distributed Systems \u2014 Models, Formalisms, Correctness. Lecture Notes in Computer Science, 430, Springer-Verlag, 1990.","key":"24_CR7"}],"container-title":["Lecture Notes in Computer Science","Formal Methods in Programming and Their Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0039719.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T22:26:18Z","timestamp":1607552778000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0039719"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354057316X"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/bfb0039719","relation":{},"subject":[]}}