{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:35Z","timestamp":1725663575810},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540572640"},{"type":"electronic","value":"9783540480273"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57264-3_48","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T07:34:16Z","timestamp":1330241656000},"page":"282-283","source":"Crossref","is-referenced-by-count":0,"title":["Demonstration: static analysis of AKL"],"prefix":"10.1007","author":[{"given":"Dan","family":"Sahlin","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Sj\u00f6land","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"issue":"1","key":"24_CR1","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1145\/151646.151650","volume":"15","author":"R. Barbuti","year":"1993","unstructured":"R. Barbuti, R. Giacobazzi and G. Levi, A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs, Univ. of Pisa, ACM Trans. on Prog. Lang. and Sys. 15(1):133\u2013181, 1993","journal-title":"ACM Trans. on Prog. Lang. and Sys."},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"M. Codish, M. Falaschi, K. Marriott and W. Winsborough, Efficient Analysis of Concurrent Constraint Logic Programs, In Proc. of ICALP'93, LNCS 700, 1993","DOI":"10.1007\/3-540-56939-1_108"},{"key":"24_CR3","unstructured":"M. Hanus, An Abstract Interpretation Algorithm for Residuating Logic Programs, In Proc. of WSA '92, Bordeaux, 1992"},{"key":"24_CR4","unstructured":"S. Janson and S. Haridi, Programming Paradigms of the Andorra Kernel Language, In Logic Programming: Proc. of the 1991 Int. Symp., MIT Press, 1991"},{"key":"24_CR5","unstructured":"D. Sahlin and T. Sj\u00f6land, Towards an Analysis Tool for AKL, deliverable no. D.WP.1.6.1.M1.1 in ESPRIT project ParForce (6707), July 1993"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"R. Tarjan, Depth-First Search and Linear Graph Algorithms, SIAM J. Comput., Vol 1., No. 2, June 1972","DOI":"10.1137\/0201010"},{"issue":"4","key":"24_CR7","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1002\/spe.4380230406","volume":"23","author":"V. Englebert","year":"1993","unstructured":"V. Englebert, B. Le Charlier, D. Roland and P. Van Hentenryck, Generic Abstract Interpretation Algorithms for Prolog: Two Optimization Techniques and Their Experimental Evaluation, In Software Practice and Experience, Vol. 23(4), 419\u2013459, April 1993","journal-title":"Software Practice and Experience"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57264-3_48.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:10:30Z","timestamp":1605629430000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57264-3_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540572640","9783540480273"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-57264-3_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}