{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:51:49Z","timestamp":1725663109922},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540078548"},{"type":"electronic","value":"9783540381693"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1976]]},"DOI":"10.1007\/3-540-07854-1_194","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T11:13:05Z","timestamp":1330168385000},"page":"323-329","source":"Crossref","is-referenced-by-count":0,"title":["Relations between programs with different storage requirements"],"prefix":"10.1007","author":[{"given":"M. D.","family":"Harrison","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,21]]},"reference":[{"key":"38_CR1","unstructured":"R. E. Milne and C. Strachey, A Theory of Programming Language Semantics. Chapman and Hall (Late 1976)."},{"key":"38_CR2","unstructured":"C. Strachey and C. Wadsworth, Continuations: A mathematical semantics for handling full jumps. Tech. Monog. PRG-11 Prog.Res.Group. Oxford 1974."},{"key":"38_CR3","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare, Proof of a structured program: \"The Sieve of Erosthenes\". Computer Journal 15 4 November 1972.","DOI":"10.1093\/comjnl\/15.4.321"},{"key":"38_CR4","unstructured":"J. Darlington, A Semantic approach to automatic program improvement. Exp.Prog.Reps. 27 School of A.I. Edinburgh 1972."},{"key":"38_CR5","doi-asserted-by":"crossref","unstructured":"B. Liskov and S. Zilles, Programming with Abstract Data Types. SIGPLAN Notice 9:4 1974.","DOI":"10.1145\/942572.807045"},{"key":"38_CR6","unstructured":"M. D. Harrison, D.Phil. Thesis in preparation. Late 1976 Oxford."},{"key":"38_CR7","doi-asserted-by":"crossref","unstructured":"D. Scott, Data Types as Lattices, Theoretical Computer Science, 1976.","DOI":"10.1137\/0205037"},{"key":"38_CR8","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/3-540-06841-4_57","volume":"14","author":"J. Reynolds","year":"1974","unstructured":"J. Reynolds, On the Relation between direct and continuation semantics. Lecture Notes in Computer Science, vol. 14, Springer-Verlag (1974) pp. 141\u2013156.","journal-title":"Lecture Notes in Computer Science"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1976"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-07854-1_194.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T14:58:35Z","timestamp":1605625115000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-07854-1_194"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1976]]},"ISBN":["9783540078548","9783540381693"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-07854-1_194","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1976]]}}}