{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T21:34:58Z","timestamp":1725658498643},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642247279"},{"type":"electronic","value":"9783642247286"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24728-6_91","type":"book-chapter","created":{"date-parts":[[2012,2,9]],"date-time":"2012-02-09T21:52:40Z","timestamp":1328824360000},"page":"676-685","source":"Crossref","is-referenced-by-count":1,"title":["Applying Answer Set Programming to Points-to Analysis of Object-Oriented Language"],"prefix":"10.1007","author":[{"given":"Bo","family":"Yang","sequence":"first","affiliation":[]},{"given":"Mingyi","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Ying","family":"Zhang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"91_CR1","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.entcs.2006.12.030","volume":"174","author":"W. Mayer","year":"2007","unstructured":"Mayer, W., Stumptner, M.: Model-based Debugging-state of the Art and Future Challenges. J. Elec. Notes in Theo. Comp. Sci.\u00a0174, 61\u201382 (2007)","journal-title":"J. Elec. Notes in Theo. Comp. Sci."},{"key":"91_CR2","first-page":"117","volume-title":"9th ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"S. Dawson","year":"1996","unstructured":"Dawson, S., Ramakrishnan, C.R., Warren, D.S.: Practical Program Analysis Using General Purpose Logic Programming System: A Case Study. In: 9th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 117\u2013126. ACM Press, New York (1996)"},{"key":"91_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/11575467_8","volume-title":"Programming Languages and Systems","author":"J. Whaley","year":"2005","unstructured":"Whaley, J., Avots, D., Carbin, M., Lam, M.: Using Datalog with Binary Decision Diagrams for Program Analysis. In: Yi, K. (ed.) APLAS 2005. LNCS, vol.\u00a03780, pp. 97\u2013118. Springer, Heidelberg (2005)"},{"key":"91_CR4","unstructured":"Song, W.: Using Horn Clauses and Binary Decision Diagrams for Program Analysis. Ph.D. dissertation. State University of New York, Stony Brook (2010)"},{"key":"91_CR5","first-page":"39","volume":"32","author":"J. Woo","year":"2004","unstructured":"Woo, J., Gaudiot, J.L., Wendelborn, A.L.: Alias Analysis in Java with Reference-Set Representation for High-Performance Computing. J. Para. Prog.\u00a032, 39\u201376 (2004)","journal-title":"J. Para. Prog."},{"key":"91_CR6","doi-asserted-by":"publisher","first-page":"37","DOI":"10.5381\/jot.2010.9.2.c5","volume":"9","author":"B. Meyer","year":"2010","unstructured":"Meyer, B.: Towards A Theory and Calculus of Aliasing. J. Object Tech.\u00a09, 37\u201374 (2010)","journal-title":"J. Object Tech."},{"key":"91_CR7","first-page":"1070","volume-title":"5th International Logic Programming Conference and Symposium","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: 5th International Logic Programming Conference and Symposium, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"91_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/3-540-45241-9_12","volume-title":"Practical Aspects of Declarative Languages","author":"M. Nogueira","year":"2001","unstructured":"Nogueira, M., Balduccini, M., Gelfond, M., Watson, R., Barry, M.: An A-Prolog Decision Support System for the Space Shuttle. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol.\u00a01990, pp. 169\u2013183. Springer, Heidelberg (2001)"},{"key":"91_CR9","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/j.dss.2008.06.008","volume":"46","author":"A. Paschke","year":"2008","unstructured":"Paschke, A., Bichler, M.: Knowledge Representation Concepts for Automated SLA Management. J. Deci. Supp. Syst.\u00a046, 187\u2013205 (2008)","journal-title":"J. Deci. Supp. Syst."},{"key":"91_CR10","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1145\/976706.976708","volume":"5","author":"T. Eiter","year":"2004","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G., Polleres, A.: A Logic Programming Approach to Knowledge-state Planning: Semantics and Complexity. ACM Trans. on Comp. Logic.\u00a05, 206\u2013263 (2004)","journal-title":"ACM Trans. on Comp. Logic."},{"key":"91_CR11","unstructured":"Tiihonen, J., Soininen, T., Niemela, I., Sulonen, R.: A Practical Tool for Mass-customising Configurable Products. In: 14th International Conference on Engineering Design, pp. 1290\u20131299 (2003)"},{"key":"91_CR12","unstructured":"Lifschitz, V.: Foundation of Logic Programming. In: Principles of Knowledge Representation, pp. 69\u2013128. CSLI Publications (1996)"},{"key":"91_CR13","unstructured":"Carini, P.R., Hind, M., Srinivasan, H.: Flow-Sensitive Type Analysis for C++. IBM Rescarch Report, RC 20267 (1995)"},{"key":"91_CR14","unstructured":"Pande, H.D., Ryder, B.G.: Static Type Determination and Aliasing for C++. Technical Report, LCSR0TR-250-A. Rutgers University (1995)"}],"container-title":["Lecture Notes in Computer Science","Advanced Intelligent Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24728-6_91","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T08:29:34Z","timestamp":1556353774000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24728-6_91"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642247279","9783642247286"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24728-6_91","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}