{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T01:51:00Z","timestamp":1770342660701,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540602187","type":"print"},{"value":"9783540447382","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60218-6_6","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:51:40Z","timestamp":1330278700000},"page":"72-87","source":"Crossref","is-referenced-by-count":38,"title":["The fixpoint-analysis machine"],"prefix":"10.1007","author":[{"given":"Bernhard","family":"Steffen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Cla\u00dfen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marion","family":"Klein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jens","family":"Knoop","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tiziana","family":"Margaria","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"H. Andersen: \u201cModel Checking and Boolean Graphs\u201d, Proc. of ESOP '92, LNCS 582, Springer Verlag, 1992.","DOI":"10.1007\/3-540-55253-7_1"},{"issue":"No.8","key":"6_CR2","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"C-35","author":"R. Bryant","year":"1986","unstructured":"R. Bryant: \u201cGraph-Based Algorithm for Boolean Function Manipulation\u201d, IEEE Trans. on Computers, Vol. C-35, No. 8, pp. 677\u2013691, 1986.","journal-title":"IEEE Trans. on Computers"},{"key":"6_CR3","first-page":"123","volume-title":"LNCS 630","author":"O. Burkart","year":"1992","unstructured":"O. Burkart, B. Steffen: \u201cModel Checking for Context-Free Processes\u201d, Proc. of CONCUR '92, Stony Brook (NJ), August 1992, LNCS 630, pp. 123\u2013137, Springer Verlag."},{"key":"6_CR4","first-page":"98","volume-title":"LNCS 836","author":"O. Burkart","year":"1994","unstructured":"O. Burkart, B. Steffen: \u201cPushdown Processes: Parallel Composition and Model Checking\u201d, Proc. of CONCUR'94, Stockholm (Sweden), August 1994, LNCS 836, pp. 98\u2013113, Springer Verlag."},{"key":"6_CR5","first-page":"410","volume-title":"LNCS 663","author":"R. Cleaveland","year":"1992","unstructured":"R. Cleaveland, M. Klein, B. Steffen: \u201cFaster Model Checking for the Modal Mu-Calculus\u201d, Proc. of CAV '92, Montreal (Canada) LNCS 663, pp. 410\u2013422, Springer V., 1992."},{"key":"6_CR6","first-page":"48","volume-title":"LNCS 575","author":"R. Cleaveland","year":"1991","unstructured":"R. Cleaveland, B. Steffen: \u201cA Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus\u201d, Proc. CAV '91, Aalborg (Denmark), July 1991, LNCS 575, pp.48\u201358, Springer V."},{"key":"6_CR7","volume-title":"LNCS 510","author":"R. Cleaveland","year":"1991","unstructured":"R. Cleaveland, B. Steffen: \u201cComputing Behavioural Relations, Logically\u201d, Proc. ICALP'91, Segovia (Spain), Aug. 1991, LNCS 510, Springer V."},{"key":"6_CR8","unstructured":"A. Emerson, C.-L. Lei: \u201cEfficient Model Checking in Fragments of the Propositional Mu-Calculus\u201d, Proc. of LICS'86, IEEE Computer Society Press, pp. 267\u2013278, 1986."},{"key":"6_CR9","volume-title":"Tech. Rep. N. MIP-9403","author":"A. Geser","year":"1994","unstructured":"Geser, A., J. Knoop, G. L\u00fcttgen, O. R\u00fcthing, B. Steffen: \u201cChaotic Fixed Point Iterations\u201d, Tech. Rep. N. MIP-9403, University of Passau (Germany), 1994."},{"key":"6_CR10","volume-title":"Flow Analysis of Computer Programs","author":"M. Hecht","year":"1977","unstructured":"M. Hecht: \u201cFlow Analysis of Computer Programs\u201d, Elsevier, North-Holland, 1977."},{"key":"6_CR11","first-page":"169","volume-title":"LNCS 818","author":"H. Hungar","year":"1994","unstructured":"H. Hungar: \u201cModel Checking of Macro Processes\u201d, Proc. of CAV'94, Palo Alto (CA), June 1994, LNCS 818, Springer V., pp.169\u2013181."},{"key":"6_CR12","volume-title":"PhD thesis","author":"J. Knoop","year":"1993","unstructured":"J. Knoop: \u201cOptimal Interprocedural Program Optimization: A new Framework and its Application\u201d, PhD thesis, Dep. of Computer Science, Univ. of Kiel, Germany, 1993. To appear as LNCS monograph, Springer V."},{"key":"6_CR13","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1145\/143103.143136","volume":"27","author":"J. Knoop","year":"1992","unstructured":"J. Knoop, O. R\u00fcthing, B. Steffen: \u201cLazy Code Motion\u201d, Proc. PLDI Conference'92, San Francisco, CA, June 1992, ACM SIGPLAN Notices, Vol.27, pp. 224\u2013234.","journal-title":"ACM SIGPLAN Notices"},{"key":"6_CR14","volume-title":"MIP-Bericht Nr. 9413","author":"J. Knoop","year":"1994","unstructured":"J. Knoop, O. R\u00fcthing, B. Steffen: \u201cA Tool Kit for Constructing Optimal Interprocedural Data Flow Analyses\u201d, Fakult\u00e4t f\u00fcr Mathematik und Informatik, Univ. Passau, Germany, MIP-Bericht Nr. 9413 (1994)."},{"key":"6_CR15","first-page":"125","volume-title":"LNCS N.641","author":"J. Knoop","year":"1992","unstructured":"J. Knoop, B. Steffen: \u201cThe Interprocedural Coincidence Theorem\u201d, Proc. CC'92, Paderborn (Germany), LNCS N.641, pp. 125\u2013140, Springer V., 1992."},{"key":"6_CR16","volume-title":"Bericht Nr. 9309","author":"J. Knoop","year":"1993","unstructured":"J. Knoop, B. Steffen: \u201cEfficient and Optimal Bit-vector Data Flow Analyses: A Uniform Interprocedural Framework\u201d, Inst. f\u00fcr Informatik und Praktische Mathematik, Universit\u00e4t Kiel (Germany), Bericht Nr. 9309 (1993)."},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"K.G. Larsen: \u201cEfficient Local Correctness Checking\u201d, Proc. of CAV'92, Montreal (CAN), LNCS N.663, pp. 410\u2013422, Springer V.","DOI":"10.1007\/3-540-56496-9_4"},{"key":"6_CR18","first-page":"11","volume-title":"Computer Aided Tool Synthesis in the META-Frame \u201d","author":"T. Margaria","year":"1995","unstructured":"T. Margaria, A. Cla\u00dfen, B. Steffen: \u201cComputer Aided Tool Synthesis in the META-Frame \u201d, 3. GI\/ITG Workshop on \u201cAnwendung formaler Methoden beim Entwurf von Hardwaresystemen\u201d, Passau (Germany), March 1995, pp. 11\u201320, Shaker Verlag."},{"key":"6_CR19","unstructured":"R. Milner: \u201cCommunication and Concurrency\u201d, Prentice Hall, 1989."},{"key":"6_CR20","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0304-3975(85)90087-8","volume":"N. 37","author":"D. Muller","year":"1985","unstructured":"D. Muller, P. Schupp: \u201cThe Theory of Ends, Pushdown Automata, and Second-Order Logic\u201d, TCS N. 37, pp. 51\u201375, 1985.","journal-title":"TCS"},{"key":"6_CR21","first-page":"466","volume":"N. 94\/6","author":"B. Steffen","year":"1994","unstructured":"B. Steffen, B. Freitag, A. Cla\u00dfen, T. Margaria, U. Zukowski: \u201cIntelligent Software Synthesis in the DaCapo Environment\u201d, Proc. 6th Nordic Workshop on Programming Theory, Aarhus (Denmark), October 1994, BRICS Report N. 94\/6, December 1994, pp.466\u2013481.","journal-title":"BRICS Report"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"B. Steffen, T. Margaria, A. Cla\u00dfen: \u201cThe META-Frame: An Environment for Flexible Tool Management\u201d, Proc. TAPSOFT'95, Aarhus, Denmark, May 1995, LNCS N. 915.","DOI":"10.1007\/3-540-59293-8_236"},{"key":"6_CR23","volume-title":"LNCS N. 372","author":"B. Steffen","year":"1989","unstructured":"B. Steffen: \u201cCharacteristic Formulae\u201d, Proc. of ICALP'89, Stresa (Italy), LNCS N. 372, Springer Verlag, 1989."},{"key":"6_CR24","first-page":"346","volume-title":"LNCS N. 526","author":"B. Steffen","year":"1991","unstructured":"B. Steffen: \u201cData Flow Analysis as Model Checking\u201d, Proc. TACS'91, Sendai (Japan), LNCS N. 526, pp. 346\u2013364, Springer V., 1991."},{"key":"6_CR25","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/0167-6423(93)90003-8","volume":"N.21","author":"B. Steffen","year":"1993","unstructured":"B. Steffen: \u201cGenerating Data Flow Analysis Algorithms from Modal Specifications\u201d, Science of Computer Programming N.21, 1993, pp.115\u2013139.","journal-title":"Science of Computer Programming"},{"key":"6_CR26","first-page":"2","volume":"N. 94\/6","author":"B. Steffen","year":"1994","unstructured":"B. Steffen: \u201cFinite Model Checking and Beyond\u201d, (invited talk) Proc. 6th Nordic Workshop on Programming Theory, Aarhus (Denmark), October 1994, BRICS Report N. 94\/6, December 1994, pp. 2\u201317.","journal-title":"BRICS Report"},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"B. Steffen, A. Ing\u00f3lfsd\u00f3ttir: \u201cCharacteristic Formulae for Finite State Processes\u201d, Information and Computation, Vol. 110, No. 1, 1994.","DOI":"10.1006\/inco.1994.1028"},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"A. Tarski: \u201cA Lattice-Theoretical Fixpoint Theorem and its Applications\u201d, Pacific Journal of Mathematics, v. 5, 1955.","DOI":"10.2140\/pjm.1955.5.285"}],"container-title":["Lecture Notes in Computer Science","CONCUR '95: Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60218-6_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:56:05Z","timestamp":1605646565000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60218-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602187","9783540447382"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-60218-6_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]}}}