{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,24]],"date-time":"2025-11-24T07:07:54Z","timestamp":1763968074183},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540108849"},{"type":"electronic","value":"9783662010891"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/978-3-662-01089-1_1","type":"book-chapter","created":{"date-parts":[[2013,3,4]],"date-time":"2013-03-04T15:08:56Z","timestamp":1362409736000},"page":"1-10","source":"Crossref","is-referenced-by-count":20,"title":["Invariance of Approximative Semantics with Respect to Program Transformations"],"prefix":"10.1007","author":[{"given":"Robert","family":"Giegerich","sequence":"first","affiliation":[]},{"given":"Ulrich","family":"M\u00f6ncke","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","volume-title":"Principles of Compiler Design","author":"AV Aho","year":"1977","unstructured":"Aho, A.V., Ullman, J.D.: Principles of Compiler Design, Addison Wesley, 1977"},{"key":"1_CR2","volume-title":"Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints","author":"P Cousot","year":"1977","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, 4th ACM Symp. on Principles of Progr. Lang., 1977"},{"key":"1_CR3","volume-title":"Systematic design of program analysis frameworks, 6th ACM Symp","author":"P Cousot","year":"1979","unstructured":"Cousot, P., Cousot, R.: Systematic design of program analysis frameworks, 6th ACM Symp. on Principles of Progr. Lang., 1979"},{"key":"1_CR4","volume-title":"Automatische Erzeugung von Maschinencode Optimierern, Doct. Dissertation","author":"R Giegerich","year":"1981","unstructured":"Giegerich, R.: Automatische Erzeugung von MaschinencodeOptimierern, Doct. Dissertation, TU M\u00fcnchen, 1981"},{"key":"1_CR5","volume-title":"Flow analysis of computer programs","author":"MS Hecht","year":"1977","unstructured":"Hecht, M.S.: Flow analysis of computer programs, North Holland, 1977"},{"key":"1_CR6","volume-title":"Computation and use of data flow information in optimizing compilers","author":"R Wilhelm","year":"1979","unstructured":"Wilhelm, R.: Computation and use of data flow information in optimizing compilers, Acta Informatica 12, 1979"}],"container-title":["Informatik-Fachberichte","GI \u2014 11. Jahrestagung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-01089-1_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,10,11]],"date-time":"2018-10-11T02:31:38Z","timestamp":1539225098000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-01089-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540108849","9783662010891"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-01089-1_1","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1981]]}}}