{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:10:20Z","timestamp":1725664220450},"publisher-location":"Berlin, Heidelberg","reference-count":24,"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_33","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:28:42Z","timestamp":1330273722000},"page":"61-77","source":"Crossref","is-referenced-by-count":7,"title":["A systematic construction of abstract domains"],"prefix":"10.1007","author":[{"given":"Dmitri","family":"Boulanger","sequence":"first","affiliation":[]},{"given":"Maurice","family":"Bruynooghe","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Boulanger,D., Bruynooghe,M., Denecker,M., Abstracting s-semantics: A Model-Theoretic Approach, Proc. PLILP'94. (to appear)","DOI":"10.1007\/3-540-58402-1_30"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Bossi,A., Gabrielli,M., Levi,G., Martelli,M., The s-semantics Approach: Theory and Applications, J. Logic Programming, 1994. (to appear)","DOI":"10.1016\/0743-1066(94)90026-4"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Bruynooghe,M., Boulanger,D., Abstract Interpretation for (Constraint) Logic Programming, in: Constraint Programming, Eds. B.Mayoh, E.T\u00f5ugu, J.Penjam, NATO Advanced Sci. Series, Comput. and System Sci., Springer, 1994. (to appear)","DOI":"10.1007\/978-3-642-85983-0_9"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Bruynooghe,M., Codish,M., Freeness, Sharing, Linearity and Correctness \u2014 All at Once, Proc. 3-rd Int. Workshop WSA'93, Springer, 1993.","DOI":"10.1007\/3-540-57264-3_37"},{"key":"4_CR5","volume-title":"LNCS","author":"F. Bry","year":"1988","unstructured":"Bry,F., Decker,H., Mathey,R., A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases, Proc. Extended Database Technology 1988, Venice, LNCS, Springer, 1988."},{"key":"4_CR6","unstructured":"Codish,M., Dams,D., File,G., Bruynooghe,M., Freeness Analysis for Logic Programs \u2014 And Correctness?, Proc. 10-th Int. Conf. Logic Prog., 1993, 116\u2013131."},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Codish,M., Mulkers,A., Bruynooghe,M., Garcia de la Banda,M., Hermenegildo,M., Improving Abstract interpretations by Combining Domains, Proc. ACM Symp. on Partial Evaluation and Semantics based Program Manipulation, 1993.","DOI":"10.1145\/154630.154650"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Cousot,P., Cousot,R., Systematic Design of Program Analysis Frameworks, Proc. 6-th ACM Symp. Principles Prog. Languages, San Antonio, USA, 1979, 269\u2013282.","DOI":"10.1145\/567752.567778"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Codognet,P., File, G., Computations, Abstractions and Constraints in Logic Programs, Proc. 4-th Int. Conf. Programming Languages, Oakland, USA, 1992.","DOI":"10.1109\/ICCL.1992.185478"},{"key":"4_CR10","unstructured":"Denecker,M., Knowledge Representation and Reasoning in Incomplete Logic Programming, Ph.D. Thesis, Dept. Comp. Science, K.U.Leuven, September, 1993."},{"issue":"No.1","key":"4_CR11","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/S0747-7171(85)80027-4","volume":"1","author":"E. Eder","year":"1985","unstructured":"Eder,E., Properties of Substitutions and Unifications, J. Symbolic Computation, 1985, Vol.1, No.1, 31\u201346.","journal-title":"J. Symbolic Computation"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Giacobazzi,R., Debray,S., Levi,G., Generalised Semantics and Abstract Interpretation for Constraint Logic Programs, J. Logic Programming, 1994. (to appear)","DOI":"10.1016\/0743-1066(95)00038-0"},{"key":"4_CR13","unstructured":"Gallagher,J., de Waal,D.A., Fast and Precise Regular Approximations of Logic Programs, Proc. 11-th Int. Conf. Logic Programming, 1994."},{"issue":"No.1","key":"4_CR14","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"J. Goguen","year":"1977","unstructured":"Goguen,J., Thatcher,E., Waggner,E., Wright,J., Initial Algebra Semantics and Continuous Algebras, J. ACM, 1977, Vol.24, No.1, 68\u201395.","journal-title":"J. ACM"},{"issue":"Nos.2\u20133","key":"4_CR15","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/0743-1066(92)90032-X","volume":"13","author":"G. Janssens","year":"1992","unstructured":"Janssens,G., Bruynooghe,M., Deriving Descriptions of Possible Values of Program Variables by Means of Abstract Interpretation, J. Logic Programming, 1992, Vol.13, Nos.2\u20133, 205\u2013258.","journal-title":"J. Logic Programming"},{"issue":"Nos.2\u20133","key":"4_CR16","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/0743-1066(92)90034-Z","volume":"13","author":"L. Jacobs","year":"1992","unstructured":"Jacobs,L., Langen,A., Static Analysis of Logic Programs for Independent And-Parallelism, J. Logic Programming, 1992, Vol.13, Nos.2\u20133, 291\u2013314.","journal-title":"J. Logic Programming"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Lassez,J.-L., Maher,M., Mariott,K., Unification Revisited, Foundations of Deductive Databases and Logic Programming, Morgan-Kaufmann, 1988, 587\u2013625.","DOI":"10.1016\/B978-0-934613-40-8.50019-1"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Mac Lane,S., Categories for the Working Mathematician, Springer-Verlag, 1971.","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"4_CR19","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"L. Lloyd","year":"1987","unstructured":"Lloyd,L., Foundations of Logic Programming, Springer-Verlag, Berlin, 1987."},{"issue":"No.4","key":"4_CR20","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1145\/357162.357169","volume":"2","author":"A. Martelli","year":"1982","unstructured":"Martelli,A., Montanari,U., An Efficient Unification Algorithm, Transaction on Programming Languages and Systems, 1982, Vol.2, No.4, 258\u2013282.","journal-title":"Transaction on Programming Languages and Systems"},{"key":"4_CR21","unstructured":"Mariott,K. Sondergaard,H., Semantics-based Data Flow Analysis of Logic Programs, Information Processing, April 1989, 601\u2013606."},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Sondergaard,H., An Application of Abstract Interpretation of Logic Programs: Occur Check Reduction, LNCS, Vol.123, 1986, Springer, 327\u2013338.","DOI":"10.1007\/3-540-16442-1_25"},{"key":"4_CR23","unstructured":"Shepherdson,J., Language and Equality Theory in Logic Programming, Report No.PM-88-08, School of Mathematics, Bristol, England."},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Wirsing,W., Algebraic Specifications, in: Handbook of Theoretical Computer Science, North Holland, 1990, 678\u2013778.","DOI":"10.1016\/B978-0-444-88074-1.50018-4"}],"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_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:22:18Z","timestamp":1605648138000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58485-4_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584858","9783540490050"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-58485-4_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}