{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T00:39:43Z","timestamp":1725669583223},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540086802"},{"type":"electronic","value":"9783642879562"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1978]]},"DOI":"10.1007\/978-3-642-87956-2_13","type":"book-chapter","created":{"date-parts":[[2012,3,19]],"date-time":"2012-03-19T08:49:26Z","timestamp":1332146966000},"page":"169-177","source":"Crossref","is-referenced-by-count":0,"title":["The connection between Axiomatic and Denotational Semantics of Programming Languages"],"prefix":"10.1007","author":[{"given":"Peter","family":"Raulefs","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","volume-title":"A theory of programming language semantios","author":"R Milne","year":"1976","unstructured":"Milne, R. and Ch. Strachey. A theory of programming language semantios. Chapman and Hall, London, 1976."},{"key":"13_CR2","volume-title":"Computer semantios","author":"J Lee","year":"1972","unstructured":"Lee, J.A.N. Computer semantios. Van Nostrand Reinhold Co., 1972."},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/BF00289504","volume":"2","author":"CAR Hoare","year":"1973","unstructured":"Hoare, C.A.R. and N. Wirth. Acta Informatica: 2 (1973) 335\u2013355.","journal-title":"Acta Informatica"},{"key":"13_CR4","first-page":"299","volume-title":"Arc-et-Senans","author":"G Ligler","year":"1975","unstructured":"Ligler, G. Proc. Int. Symp. on Proving and Improving Programs. Arc-et-Senans (1975) 299\u2013323."},{"key":"13_CR5","volume-title":"Computer System Research Group","author":"U Donahue","year":"1975","unstructured":"Donahue, U. Ph.D.-Thesis. Tech. Rept. CSRG-62. Computer System Research Group, University of Toronto, Nov. 1975."},{"key":"13_CR6","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"EW Dijkstra","year":"1975","unstructured":"Dijkstra, E.W. CACM: 18 (1975) 453\u2013457.","journal-title":"CACM"},{"key":"13_CR7","unstructured":"de Bakker, J. Recursive programs as predicate transformers. Draft (Nov. 1976) of paper for the IFIP Working Conf. on Formal Description of Programming Concept (St. Andrews, 1977)."},{"key":"13_CR8","first-page":"472","volume":"45","author":"WP Roever de","year":"1976","unstructured":"de Roever, W.P. Proc. 4th Int. Symp. on Math. Foundations of Computer Science, Gdansk 1976. Springer LNCS: 45 (1976) 472\u2013481.","journal-title":"Gdansk 1976. Springer LNCS"},{"key":"13_CR9","first-page":"135","volume":"3","author":"CAR Hoare","year":"1974","unstructured":"Hoare, C.A.R. and P.E. Lauer, Acta Informatica: 3 (1974) 135\u2013154.","journal-title":"Acta Informatica"},{"key":"13_CR10","first-page":"77","volume-title":"The connection between axiomatic and denotational semantics of programming languages","author":"P Raulefs","year":"1977","unstructured":"Raulefs, P. The connection between axiomatic and denotational semantics of programming languages. Rept. No. 4\/77, Institut f\u00fcr Informatik I, Universit\u00e4t Karlsruhe (May 1977)."}],"container-title":["Informatik - Fachberichte","Programmiersprachen"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-87956-2_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,26]],"date-time":"2020-11-26T21:12:19Z","timestamp":1606425139000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-87956-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978]]},"ISBN":["9783540086802","9783642879562"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-87956-2_13","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1978]]}}}