{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:41Z","timestamp":1725663401238},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540176602"},{"type":"electronic","value":"9783540477464"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-17660-8_47","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:17:27Z","timestamp":1330197447000},"page":"52-68","source":"Crossref","is-referenced-by-count":6,"title":["Optimal run time optimization proved by a new look at abstract interpretations"],"prefix":"10.1007","author":[{"given":"Bernhard","family":"Steffen","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"5_CR1","unstructured":"Barth, G. \"Interprozedurale Datenflu\u00dfsysteme\", Habilitationsschrift, Universit\u00e4t Kaiserslautern, 1981"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Cousot, P. and Cousot, R. \"Abstract interpretation: A unified Lattice Model for static Analysis of Programs by Construction or Approximation of Fixpoints\", 4th POPL, Los Angeles, California, 238\u2013252, 1977","DOI":"10.1145\/512950.512973"},{"key":"5_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/872734.806926","volume":"12","author":"P. Cousot","year":"1977","unstructured":"Cousot, P. and Cousot, R. \"Automatic Synthesis of Optimal Invariant Assertations: Mathematical Foundations\", ACM Sigplan Notices 12, 1\u201312, 1977","journal-title":"ACM Sigplan Notices"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Cousot, P. and Cousot, R. \"Systematic Design of Program Analysis Frameworks\", 6th POPL, San Antonio, Texas, 269\u2013282, 1979","DOI":"10.1145\/567752.567778"},{"issue":"1","key":"5_CR5","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1137\/0207005","volume":"7","author":"S. A. Cook","year":"1978","unstructured":"Cook, S. A. \"Soundness and Completeness of an Axiom System for Program Verification\", SIAM Journal Computing, 7: 1, 70\u201390, 1978","journal-title":"SIAM Journal Computing"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Fong, A. C., Kam, J. B. and Ullman, J. D. \"Applications of Lattice Algebra to Loop Optimization\", 2nd POPL, Palo Alto, California, 1\u20139, 1975","DOI":"10.1145\/512976.512977"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Greibach, S. A. \"Theory of Program Structures: Schemes, Semantics, Verification\", LNCS 36, Springer-Verlag, 1975","DOI":"10.1007\/BFb0023017"},{"key":"5_CR8","volume-title":"Flow Analysis of Computer Programs","author":"M. S. Hecht","year":"1977","unstructured":"Hecht, M. S. \"Flow Analysis of Computer Programs\", Elsevier, North-Holland, 1977"},{"key":"5_CR9","first-page":"309","volume":"7","author":"J. B. Kam","year":"1975","unstructured":"Kam, J. B. and Ullman, J. D. \"Monotone Data Flow Analysis Frameworks\", Acta Informatica, 7, 309\u2013317, 1975","journal-title":"Acta Informatica"},{"key":"5_CR10","series-title":"Technical Report","volume-title":"Global Expression Optimization during Compilation","author":"G. A. Kildall","year":"1972","unstructured":"Kildall, G. A. \"Global Expression Optimization during Compilation\", Technical Report No. 72-06-02, University of Washington, Computer Science Group, Seattle, Washington, 1972"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Kildall, G. A. \"A Unified Approach to Global Program Optimization\", 1st POPL, Boston, Massachusetts, 194\u2013206, 1973","DOI":"10.1145\/512927.512945"},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/BF00289503","volume":"2","author":"H. Langmaack","year":"1973","unstructured":"Langmaack, H. \"On Procedures as Open Subroutines. I\" Acta Informatica 2, 311\u2013333, 1973","journal-title":"Acta Informatica"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Milner, R. \"Fully Abstract Models of Typed \u03bb-Calculi\", TCS 4, North Holland, 1\u201322, 1977","DOI":"10.1016\/0304-3975(77)90053-6"},{"issue":"2","key":"5_CR14","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1145\/359060.359069","volume":"22","author":"E. Morel","year":"1979","unstructured":"Morel, E. and Renvoise, C. \"Global Optimization by Suppression of Partial Redundancies\", CACM, 22: 2, 96\u2013103, 1979","journal-title":"CACM"},{"key":"5_CR15","first-page":"31","volume":"21","author":"F. Nielson","year":"1986","unstructured":"Nielson, F. \"A Bibliography on Abstract Interpretations\", ACM Sigplan Notices 21, 31\u201338, 1986","journal-title":"ACM Sigplan Notices"},{"key":"5_CR16","unstructured":"Olderog, E.-R. \"Charakterisierung Hoarescher Systeme f\u00fcr ALGOL \u2014 \u00e4hnliche Programmiersprachen\", Dissertation, Christian-Albrechts-Universit\u00e4t Kiel, 1981"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Reif, J. H. and Lewis, R. \"Symbolic Evaluation and the Global Value Graph\", 4th POPL, Los Angeles, California, 238\u2013252, 1977","DOI":"10.1145\/512950.512961"},{"key":"5_CR18","unstructured":"Steffen, B., doctoral dissertation, to appear, 1987"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '87"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-17660-8_47.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:13:09Z","timestamp":1605643989000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-17660-8_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540176602","9783540477464"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-17660-8_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}