{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T06:15:27Z","timestamp":1784182527345,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642351815","type":"print"},{"value":"9783642351822","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-35182-2_12","type":"book-chapter","created":{"date-parts":[[2012,12,6]],"date-time":"2012-12-06T01:19:15Z","timestamp":1354756755000},"page":"157-172","source":"Crossref","is-referenced-by-count":33,"title":["Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis"],"prefix":"10.1007","author":[{"given":"Kalmer","family":"Apinis","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Helmut","family":"Seidl","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vesal","family":"Vojdani","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Andersen, L.O.: Program Analysis and Specialization for the C Programming Language. Ph.D. thesis, DIKU, University of Copenhagen (1994)"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Apinis, K., Seidl, H., Vojdani, V.: Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis. Tech. Rep. TUM-I1213, Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik (2012)","DOI":"10.1007\/978-3-642-35182-2_12"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Calcagno, C., Distefano, D., O\u2019Hearn, P., Yang, H.: Compositional shape analysis by means of bi-abduction. In: POPL 2009, pp. 289\u2013300. ACM Press (2009)","DOI":"10.1145\/1594834.1480917"},{"key":"12_CR4","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. In: POPL 1977, pp. 238\u2013252. ACM Press (1977)","DOI":"10.1145\/512950.512973"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Static Determination of Dynamic Properties of Recursive Procedures. In: IFIP Conf. on Formal Description of Programming Concepts, pp. 237\u2013277. North-Holland (1977)","DOI":"10.1145\/800022.808314"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-540-31987-0_3","volume-title":"Programming Languages and Systems","author":"P. Cousot","year":"2005","unstructured":"Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Min\u00e9, A., Monniaux, D., Rival, X.: The ASTRE\u00c9 Analyzer. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol.\u00a03444, pp. 21\u201330. Springer, Heidelberg (2005)"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Cousot, P., Halbwachs, N.: Automatic discovery of linear restraints among variables of a program. In: POPL 1978, pp. 84\u201396. ACM Press (1978)","DOI":"10.1145\/512760.512770"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Das, M., Lerner, S., Seigle, M.: ESP: Path-sensitive program verification in polynomial time. In: PLDI 2002, pp. 57\u201368. ACM Press (2002)","DOI":"10.1145\/512537.512538"},{"key":"12_CR9","unstructured":"Fecht, C.: Abstrakte Interpretation logischer Programme: Theorie, Implementierung, Generierung. Ph.D. thesis, Universit\u00e4t des Saarlandes (1997)"},{"issue":"2","key":"12_CR10","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/S0167-6423(99)00009-X","volume":"35","author":"C. Fecht","year":"1999","unstructured":"Fecht, C., Seidl, H.: A Faster Solver for General Systems of Equations. Sci. Comput. Program.\u00a035(2), 137\u2013161 (1999)","journal-title":"Sci. Comput. Program."},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-642-17164-2_14","volume-title":"Programming Languages and Systems","author":"A. Flexeder","year":"2010","unstructured":"Flexeder, A., Mihaila, B., Petter, M., Seidl, H.: Interprocedural Control Flow Reconstruction. In: Ueda, K. (ed.) APLAS 2010. LNCS, vol.\u00a06461, pp. 188\u2013203. Springer, Heidelberg (2010)"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/3-540-44898-5_12","volume-title":"Static Analysis","author":"S.Z. Guyer","year":"2003","unstructured":"Guyer, S.Z., Lin, C.: Client-Driven Pointer Analysis. In: Cousot, R. (ed.) SAS 2003. LNCS, vol.\u00a02694, pp. 214\u2013236. Springer, Heidelberg (2003)"},{"key":"12_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1007\/978-3-642-15769-1_21","volume-title":"Static Analysis","author":"M. Hofmann","year":"2010","unstructured":"Hofmann, M., Karbyshev, A., Seidl, H.: Verifying a Local Generic Solver in Coq. In: Cousot, R., Martel, M. (eds.) SAS 2010. LNCS, vol.\u00a06337, pp. 340\u2013355. Springer, Heidelberg (2010)"},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/3-540-58485-4_50","volume-title":"Static Analysis","author":"N. J\u00f8rgensen","year":"1994","unstructured":"J\u00f8rgensen, N.: Finding Fixpoints in Finite Function Spaces Using Neededness Analysis and Chaotic Iteration. In: LeCharlier, B. (ed.) SAS 1994. LNCS, vol.\u00a0864, pp. 329\u2013345. Springer, Heidelberg (1994)"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Kildall, G.: A unified approach to global program optimization. In: POPL 1973, pp. 194\u2013206. ACM Press (1973)","DOI":"10.1145\/512927.512945"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Lattner, C., Adve, V.: LLVM: A compilation framework for lifelong program analysis & transformation. In: CGO 2004, pp. 75\u201388. IEEE Press (2004)","DOI":"10.1109\/CGO.2004.1281665"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Lhot\u00e1k, O., Chung, K.C.A.: Points-to analysis with efficient strong updates. In: POPL 2011, pp. 3\u201316. ACM Press (2011)","DOI":"10.1145\/1925844.1926389"},{"key":"12_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1044834.1044835","volume":"14","author":"A. Milanova","year":"2005","unstructured":"Milanova, A., Rountev, A., Ryder, B.G.: Parameterized object sensitivity for points-to analysis for Java. ACM Transactions on Software Engineering and Methodology\u00a014, 1\u201341 (2005)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"12_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/3-540-45937-5_16","volume-title":"Compiler Construction","author":"G.C. Necula","year":"2002","unstructured":"Necula, G.C., McPeak, S., Rahul, S.P., Weimer, W.: CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. In: Horspool, R.N. (ed.) CC 2002. LNCS, vol.\u00a02304, pp. 213\u2013228. Springer, Heidelberg (2002)"},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"Reps, T., Horwitz, S., Sagiv, M.: Precise interprocedural dataflow analysis via graph reachability. In: POPL 1995, pp. 49\u201361. ACM Press (1995)","DOI":"10.1145\/199448.199462"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"Rinetzky, N., Bauer, J., Reps, T.W., Sagiv, S., Wilhelm, R.: A semantics for procedure local heaps and its abstractions. In: POPL 2005, pp. 296\u2013309 (2005)","DOI":"10.1145\/1047659.1040330"},{"issue":"4","key":"12_CR22","first-page":"413","volume":"52","author":"H. Seidl","year":"2003","unstructured":"Seidl, H., Vene, V., M\u00fcller-Olm, M.: Global invariants for analyzing multithreaded applications. Proc. of the Estonian Academy of Sciences: Phys., Math.\u00a052(4), 413\u2013436 (2003)","journal-title":"Proc. of the Estonian Academy of Sciences: Phys., Math."},{"key":"12_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-642-03237-0_13","volume-title":"Static Analysis","author":"H. Seidl","year":"2009","unstructured":"Seidl, H., Vojdani, V.: Region Analysis for Race Detection. In: Palsberg, J., Su, Z. (eds.) SAS 2009. LNCS, vol.\u00a05673, pp. 171\u2013187. Springer, Heidelberg (2009)"},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"Shapiro, M., Horwitz, S.: Fast and accurate flow-insensitive points-to analysis. In: POPL 1997, pp. 1\u201314. ACM Press (1997)","DOI":"10.1145\/263699.263703"},{"key":"12_CR25","unstructured":"Sharir, M., Pnueli, A.: Two approaches to interprocedural data flow analysis. In: Muchnick, S., Jones, N. (eds.) Program Flow Analysis: Theory and Application, pp. 189\u2013233. Prentice-Hall (1981)"},{"key":"12_CR26","doi-asserted-by":"crossref","unstructured":"Steensgaard, B.: Points-to analysis in almost linear time. In: POPL 1996, pp. 32\u201341. ACM Press (1996)","DOI":"10.1145\/237721.237727"},{"key":"12_CR27","unstructured":"Vall\u00e9e-Rai, R., Co, P., Gagnon, E., Hendren, L., Lam, P., Sundaresan, V.: Soot: A Java bytecode optimization framework. In: CASCON 1999. IBM Press (1999)"},{"key":"12_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1007\/3-540-58485-4_49","volume-title":"Static Analysis","author":"B. Vergauwen","year":"1994","unstructured":"Vergauwen, B., Wauman, J., Lewi, J.: Efficient Fixpoint Computation. In: LeCharlier, B. (ed.) SAS 1994. LNCS, vol.\u00a0864, pp. 314\u2013328. Springer, Heidelberg (1994)"},{"key":"12_CR29","unstructured":"Vojdani, V.: Static Data Race Analysis of Heap-Manipulating C Programs. Ph.D. thesis, University of Tartu (2010)"},{"key":"12_CR30","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1145\/193209.193217","volume":"29","author":"R.P. Wilson","year":"1994","unstructured":"Wilson, R.P., French, R.S., Wilson, C.S., Amarasinghe, S.P., Anderson, J.M., Tjiang, S.W.K., Liao, S.W., Tseng, C.W., Hall, M.W., Lam, M.S., Hennessy, J.L.: SUIF: An infrastructure for research on parallelizing and optimizing compilers. SIGPLAN Not.\u00a029, 31\u201337 (1994)","journal-title":"SIGPLAN Not."}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35182-2_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,23]],"date-time":"2025-04-23T10:34:53Z","timestamp":1745404493000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35182-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642351815","9783642351822"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35182-2_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}