{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:09:48Z","timestamp":1725664188300},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584858"},{"type":"electronic","value":"9783540490050"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58485-4_49","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:27:21Z","timestamp":1330273641000},"page":"314-328","source":"Crossref","is-referenced-by-count":9,"title":["Efficient fixpoint computation"],"prefix":"10.1007","author":[{"given":"B.","family":"Vergauwen","sequence":"first","affiliation":[]},{"given":"J.","family":"Wauman","sequence":"additional","affiliation":[]},{"given":"J.","family":"Lewi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Andersen, H. R.: Model Checking and Boolean Graphs, ESOP'92, LNCS 582, 1992","DOI":"10.1007\/3-540-55253-7_1"},{"issue":"No.2","key":"20_CR2","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Transactions on Progr. Languages and Systems, Vol.8, No. 2, pp. 244\u2013263, April 1986","journal-title":"ACM Transactions on Progr. Languages and Systems"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Cleaveland, R.: Tableau-Based Model Checking in the Propositional Mu-Calculus, Acta Informatica, 1990","DOI":"10.1007\/BF00264284"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"Cleaveland, R., Steffen, B.: Computing Behavioural Relations, Logically, ICALP 91, pp. 127\u2013138, LNCS 510","DOI":"10.1007\/3-540-54233-7_129"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Cleaveland, R., Steffen, B.: A Linear-Time Model Checking Algorithm for the Alternation-Free Modal Mu-Calculus, CAV'91, LNCS 575, 1991","DOI":"10.1007\/3-540-55179-4_6"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, POPL, 1977.","DOI":"10.1145\/512950.512973"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Debray, S. K.: Static inference of modes and data dependencies in logic programs, TOPLAS, 11 (3), 1989.","DOI":"10.1145\/65979.65983"},{"key":"20_CR8","unstructured":"Emerson, E.A., Lei, C.-L.: Efficient model checking in fragments of the propositional \u03bc-calculus, LICS, 267\u2013278, 1986"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"Jones, N.D., Mycroft, A.: Data flow analysis of applicative programs using minimal function graphs, POPL, 1986.","DOI":"10.1145\/512644.512672"},{"key":"20_CR10","unstructured":"Jorgensen, N.: Chaotic fixpoint iteration guided by dynamic dependency, in Workshop on Static Analysis (WSA'93), LNCS."},{"key":"20_CR11","unstructured":"O'Keefe, R.A.: Finite fixed-point problems, ICTL 1987."},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"Kildall, G.A.: A unified approach to global program optimization, POPL 1973.","DOI":"10.1145\/512927.512945"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Kozen, D.: Results on the propositional \u03bc-calculus, TCS, 27, 1983.","DOI":"10.1016\/0304-3975(82)90125-6"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"Larsen, K.G.: Proof systems for Hennessy-Milner logic with recursion, CAAP, 1988, see also TCS, 72, 1990","DOI":"10.1016\/0304-3975(90)90038-J"},{"key":"20_CR15","unstructured":"Larsen, K.G.: Efficient local correctness checking, CAV92, Forthcoming"},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"Le Charlier, B., Van Hentenryck, P.: Experimental Evaluation of a Generic Abstract Interpretation Algorithm for PROLOG, TOPLAS, Vol. 16, nr. 1, January 1994.","DOI":"10.1145\/174625.174627"},{"key":"20_CR17","volume-title":"Technical Report 92-22","author":"B. Charlier Le","year":"1992","unstructured":"Le Charlier, B., Van Hentenryck, P.: A universal top-down fixpoint algorithm, Technical Report 92-22, Institute of Computer Science, University of Namur, Belgium, April 1992."},{"key":"20_CR18","unstructured":"Le Charlier, B., Degimbe, O., Michel, L., Van Hentenryck, P.: Optimization Techniques for General Purpose Fixpoint Algorithms: Practical Efficiency for the Abstract Interpretation of Prolog, in Workshop on Static Analysis (WSA'93), LNCS."},{"key":"20_CR19","unstructured":"Milner, R.: Communication and Concurrency, Prentice-Hall International, 1989."},{"key":"20_CR20","doi-asserted-by":"crossref","unstructured":"Stirling, C., Walker, D.: Local model checking in the modal mu-calculus, TCS, October 1991, see also LNCS 351, 369\u2013383, CAAP 1989","DOI":"10.1007\/3-540-50939-9_144"},{"key":"20_CR21","doi-asserted-by":"crossref","unstructured":"Tarjan, R.E.: Depth first search and linear graph algorithms, SIAM J. Comput., 1 (2), 1972.","DOI":"10.1137\/0201010"},{"key":"20_CR22","doi-asserted-by":"crossref","unstructured":"Vergauwen, B., Lewi, J.: A linear algorithm for solving fixed points equations on transition systems, CAAP'92, LNCS 581, 322\u2013341","DOI":"10.1007\/3-540-55251-0_18"},{"key":"20_CR23","unstructured":"Vergauwen, B., Lewi, J.: Efficient Local Correctness Checking for Single and Alternating Blocks, ICALP'94, LNCS 820."},{"key":"20_CR24","unstructured":"Vergauwen, B.: Verification of Temporal Properties of Concurrent Systems, Ph.D. thesis, in preparation."},{"key":"20_CR25","doi-asserted-by":"crossref","unstructured":"Winskel, G.: A note on model checking the modal \u03bd-calculus, ICALP, LNCS 372, 1989, see also TCS 83, 1991","DOI":"10.1016\/0304-3975(91)90043-2"},{"key":"20_CR26","unstructured":"Wauman, J.: Ontwerp en implementatie van lokale verificatie-algoritmen voor reactieve Systemen met behulp van temporele logic, Ms. thesis, Dept. of Computer Science, K.U.Leuven, 1992\u20131993."}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58485-4_49.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:22:22Z","timestamp":1605648142000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58485-4_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584858","9783540490050"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-58485-4_49","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}