{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:15:42Z","timestamp":1725488142457},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672623"},{"type":"electronic","value":"9783540464259"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46425-5_23","type":"book-chapter","created":{"date-parts":[[2007,7,31]],"date-time":"2007-07-31T22:00:14Z","timestamp":1185919214000},"page":"351-365","source":"Crossref","is-referenced-by-count":12,"title":["Constraint-Based Inter-Procedural Analysis of Parallel Programs"],"prefix":"10.1007","author":[{"given":"Helmut","family":"Seidl","sequence":"first","affiliation":[]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,5,12]]},"reference":[{"key":"23_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/3-540-60360-3_31","volume-title":"Proceedings of 2nd Static Analysis Symposium (SAS)","author":"M. Alt","year":"1995","unstructured":"Martin Alt and Florian Martin. Generation of Efficient Interprocedural Analyzers with PAG. In Proceedings of 2nd Static Analysis Symposium (SAS), pages 33\u201350. LNCS 983, Springer Verlag, 1995."},{"key":"23_CR2","first-page":"303","volume-title":"Program Flow Analysis: Theory and Applications","author":"P. Cousot","year":"1981","unstructured":"Patrick Cousot. Semantic Foundations of Program Analysis. In Steven S. Muchnick and Neil D. Jones, editors, Program Flow Analysis: Theory and Applications, chapter 10, pages 303\u2013342. Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1981."},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Patrick Cousot and Radhia Cousot. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fix-points. In Proceedings of 4th ACM Symposium on Principles of Programming Languages (POPL), pages 238\u2013252. ACM Press, 1977.","DOI":"10.1145\/512950.512973"},{"key":"23_CR4","unstructured":"Patrick Cousot and Radhia Cousot. Static Determination of Dynamic Properties of Recursive Programs. In E.J. Neuhold, editor, Formal Descriptions of Programming Concepts, pages 237\u2013277. North-Holland Publishing Company, 1977."},{"key":"23_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1007\/3-540-49019-1_2","volume-title":"FoSSaCS\u2019 99","author":"J. Esparza","year":"1999","unstructured":"J. Esparza and J. Knoop. An Automata-theoretic Approach to Interprocedural Data-flow Analysis. In FoSSaCS\u2019 99, volume 1578 of Lecture Notes in Computer Science (LNCS), pages 14\u201330. Springer-Verlag, 1999."},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"J. Esparza and A. Podelski. Efficient Algorithms for pre* and post* on Interprocedural Parallel Flow Graphs. In ACM International Conference on Princples of Programming Languages (POPL), 2000. To appear.","DOI":"10.1145\/325694.325697"},{"key":"23_CR7","volume-title":"Flow Analysis of Computer Programs","author":"M.S. Hecht","year":"1977","unstructured":"M.S. Hecht. Flow Analysis of Computer Programs. The Computer Science Library. North-Holland, New York, 1977."},{"key":"23_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/3-540-55984-1_13","volume-title":"4th International Conference on Compiler Construction (CC\u201992)","author":"J. Knoop","year":"1992","unstructured":"J. Knoop and B. Steffen. The Interprocedural Coincidence Theorem. In 4th International Conference on Compiler Construction (CC\u201992), volume 641 of Lecture Notes in Computer Science (LNCS), pages 125\u2013140. Springer-Verlag, 1992."},{"key":"23_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1007\/BFb0057887","volume-title":"4th European Conference on Parallel Processing (Euro-Par)","author":"J. Knoop","year":"1998","unstructured":"J. Knoop. Parallel Constant Propagation. In 4th European Conference on Parallel Processing (Euro-Par), volume 1470 of Lecture Notes in Computer Science (LNCS), pages 445\u2013455. Springer-Verlag, 1998."},{"key":"23_CR10","first-page":"211","volume-title":"Journal of Programming Languages","author":"J. Knoop","year":"1996","unstructured":"J. Knoop, O. R\u00fcthing, and B. Steffen. Towards a Tool Kit for the Automatic Generation of Interprocedural Data Flow Analyses. Journal of Programming Languages, 4(4):211\u2013246, December 1996. Chapman & Hall, London (UK)."},{"issue":"3","key":"23_CR11","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1145\/229542.229545","volume":"18","author":"J. Knoop","year":"1996","unstructured":"J. Knoop, B. Steffen, and J. Vollmer. Parallelism for Free: Efficient and Optimal Bitvector Analyses for Parallel Programs. ACM Transactions on Programming Languages and Systems, 18(3):268\u2013299, 1996.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"23_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1007\/BFb0055615","volume-title":"9th International Conference on Concurrency (CONCUR)","author":"D. Lugiez","year":"1998","unstructured":"D. Lugiez and P. Schnoebelen. The Regular Viewpoint on PA-Processes. In 9th International Conference on Concurrency (CONCUR), volume 1466 of Lecture Notes In Computer Science (LNCS), pages 50\u201366. Springer-Verlag, 1998."},{"issue":"2","key":"23_CR13","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/S0743-1066(99)00058-8","volume":"43","author":"H. Seidl","year":"2000","unstructured":"H. Seidl and C. Fecht. Interprocedural Analyses: A Comparison. Journal of Logic Programming (JLP), 43(2):123\u2013156, 2000.","journal-title":"Journal of Logic Programming (JLP)"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46425-5_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T12:28:50Z","timestamp":1556713730000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46425-5_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672623","9783540464259"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-46425-5_23","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}