Ko, Yoonseok; Heo, Kihong; Oh, Hakjoo A sparse evaluation technique for detailed semantic analyses. (English) Zbl 1308.68043 Comput. Lang. Syst. Struct. 40, No. 3-4, 99-111 (2014). MSC: 68N30 68Q60 PDFBibTeX XMLCite \textit{Y. Ko} et al., Comput. Lang. Syst. Struct. 40, No. 3--4, 99--111 (2014; Zbl 1308.68043) Full Text: DOI
Urban, Caterina; Miné, Antoine An abstract domain to infer ordinal-valued ranking functions. (English) Zbl 1405.68094 Shao, Zhong (ed.), Programming languages and systems. 23rd European symposium on programming, ESOP 2014, held as part of the European joint conferences on theory and practice of software, ETAPS 2014, Grenoble, France, April 5–13, 2014. Proceedings. Berlin: Springer (ISBN 978-3-642-54832-1/pbk). Lecture Notes in Computer Science 8410, 412-431 (2014). MSC: 68N30 PDFBibTeX XMLCite \textit{C. Urban} and \textit{A. Miné}, Lect. Notes Comput. Sci. 8410, 412--431 (2014; Zbl 1405.68094) Full Text: DOI
Jeannet, Bertrand; Schrammel, Peter; Sankaranarayanan, Sriram Abstract acceleration of general linear loops. (English) Zbl 1284.68188 Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 529-540 (2014). MSC: 68N30 68Q65 15A04 03B70 PDFBibTeX XMLCite \textit{B. Jeannet} et al., in: Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '14, San Diego, CA, USA, January 22--24, 2014. New York, NY: Association for Computing Machinery (ACM). 529--540 (2014; Zbl 1284.68188) Full Text: DOI arXiv
Bygde, Stefan; Lisper, Björn; Holsti, Niklas Fully bounded polyhedral analysis of integers with wrapping. (English) Zbl 1294.68052 Massé, Damien (ed.) et al., Proceedings of the 3rd international workshop on numerical and symbolic abstract domains, NSAD 2011, Venice, Italy, September 13, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 288, 3-13 (2012). MSC: 68N30 68Q55 PDFBibTeX XMLCite \textit{S. Bygde} et al., Electron. Notes Theor. Comput. Sci. 288, 3--13 (2012; Zbl 1294.68052) Full Text: DOI
Cousot, Patrick; Cousot, Radhia; Mauborgne, Laurent Theories, solvers and static analysis by abstract interpretation. (English) Zbl 1281.68156 J. ACM 59, No. 6, Article No. 31, 56 p. (2012). MSC: 68Q60 68N30 68T15 03B70 PDFBibTeX XMLCite \textit{P. Cousot} et al., J. ACM 59, No. 6, Article No. 31, 56 p. (2012; Zbl 1281.68156) Full Text: DOI
Gawlitza, Thomas Martin; Monniaux, David Invariant generation through strategy iteration in succinctly represented control flow graphs. (English) Zbl 1248.68142 Log. Methods Comput. Sci. 8, No. 3, Paper No. 29, 35 p. (2012). MSC: 68N30 PDFBibTeX XMLCite \textit{T. M. Gawlitza} and \textit{D. Monniaux}, Log. Methods Comput. Sci. 8, No. 3, Paper No. 29, 35 p. (2012; Zbl 1248.68142) Full Text: DOI arXiv
Ghorbal, Khalil; Ivančić, Franjo; Balakrishnan, Gogul; Maeda, Naoto; Gupta, Aarti Donut domains: efficient non-convex domains for abstract interpretation. (English) Zbl 1326.68094 Kuncak, Viktor (ed.) et al., Verification, model checking, and abstract interpretation. 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22–24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27939-3/pbk). Lecture Notes in Computer Science 7148, 235-250 (2012). MSC: 68N30 PDFBibTeX XMLCite \textit{K. Ghorbal} et al., Lect. Notes Comput. Sci. 7148, 235--250 (2012; Zbl 1326.68094) Full Text: DOI HAL
Mastroeni, Isabella; Banerjee, Anindya Modelling declassification policies using abstract domain completeness. (English) Zbl 1252.68079 Math. Struct. Comput. Sci. 21, No. 6, 1253-1299 (2011). MSC: 68N30 68Q55 PDFBibTeX XMLCite \textit{I. Mastroeni} and \textit{A. Banerjee}, Math. Struct. Comput. Sci. 21, No. 6, 1253--1299 (2011; Zbl 1252.68079) Full Text: DOI
Vechev, Martin; Yahav, Eran; Raman, Raghavan; Sarkar, Vivek Automatic verification of determinism for structured parallel programs. (English) Zbl 1306.68037 Cousot, Radhia (ed.) et al., Static analysis. 17th international symposium, SAS 2010, Perpignan, France, September 14–16, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15768-4/pbk). Lecture Notes in Computer Science 6337, 455-471 (2010). MSC: 68N30 PDFBibTeX XMLCite \textit{M. Vechev} et al., Lect. Notes Comput. Sci. 6337, 455--471 (2010; Zbl 1306.68037) Full Text: DOI
Brauer, Jörg; King, Andy Automatic abstraction for intervals using Boolean formulae. (English) Zbl 1306.68020 Cousot, Radhia (ed.) et al., Static analysis. 17th international symposium, SAS 2010, Perpignan, France, September 14–16, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15768-4/pbk). Lecture Notes in Computer Science 6337, 167-183 (2010). MSC: 68N30 PDFBibTeX XMLCite \textit{J. Brauer} and \textit{A. King}, Lect. Notes Comput. Sci. 6337, 167--183 (2010; Zbl 1306.68020) Full Text: DOI Link
Monniaux, David Automatic modular abstractions for template numerical constraints. (English) Zbl 1191.68182 Log. Methods Comput. Sci. 6, No. 3, Paper No. 4, 50 p. (2010). MSC: 68N30 PDFBibTeX XMLCite \textit{D. Monniaux}, Log. Methods Comput. Sci. 6, No. 3, Paper No. 4, 50 p. (2010; Zbl 1191.68182) Full Text: DOI
Chen, Liqian; Miné, Antoine; Wang, Ji; Cousot, Patrick An abstract domain to discover interval linear equalities. (English) Zbl 1273.68081 Barthe, Gilles (ed.) et al., Verification, model checking, and abstract interpretation. 11th international conference, VMCAI 2010, Madrid, Spain, January 17–19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11318-5/pbk). Lecture Notes in Computer Science 5944, 112-128 (2010). MSC: 68N30 65F99 65G40 PDFBibTeX XMLCite \textit{L. Chen} et al., Lect. Notes Comput. Sci. 5944, 112--128 (2010; Zbl 1273.68081) Full Text: DOI
Monniaux, David P. Automatic modular abstractions for linear constraints. (English) Zbl 1315.68102 Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’09, Savannah, GA, USA, January 18–24, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-379-2). 140-151 (2009). MSC: 68N30 68Q55 PDFBibTeX XMLCite \textit{D. P. Monniaux}, in: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '09, Savannah, GA, USA, January 18--24, 2009. New York, NY: Association for Computing Machinery (ACM). 140--151 (2009; Zbl 1315.68102) Full Text: DOI
Simon, Axel Splitting the control flow with Boolean flags. (English) Zbl 1149.68367 Alpuente, María (ed.) et al., Static analysis. 15th international symposium, SAS 2008, Valencia, Spain, July 16–18, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-69163-1/pbk). Lecture Notes in Computer Science 5079, 315-331 (2008). MSC: 68N30 PDFBibTeX XMLCite \textit{A. Simon}, Lect. Notes Comput. Sci. 5079, 315--331 (2008; Zbl 1149.68367) Full Text: DOI
Allamigeon, Xavier Non-disjunctive numerical domain for array predicate abstraction. (English) Zbl 1133.68314 Drossopoulou, Sophia (ed.), Programming languages and systems. 17th European symposium on programming, ESOP 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29–April 6, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78738-9/pbk). Lecture Notes in Computer Science 4960, 163-177 (2008). MSC: 68N30 PDFBibTeX XMLCite \textit{X. Allamigeon}, Lect. Notes Comput. Sci. 4960, 163--177 (2008; Zbl 1133.68314) Full Text: DOI
Schmidt, David A. Extracting program logics from abstract interpretations defined by logical relations. (English) Zbl 1316.68042 Fiore, Marcelo (ed.), Proceedings of the 23rd conference on the mathematical foundations of programming semantics (MFPS XXIII), New Orleans, LA, USA, April 11–14, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 173, 339-356 (2007). MSC: 68N30 03B44 03B70 06A15 PDFBibTeX XMLCite \textit{D. A. Schmidt}, Electron. Notes Theor. Comput. Sci. 173, 339--356 (2007; Zbl 1316.68042) Full Text: DOI
Tiwari, Ashish; Gulwani, Sumit Logical interpretation: Static program analysis using theorem proving. (English) Zbl 1213.68210 Pfenning, Frank (ed.), Automated deduction – CADE-21. 21st international conference on automated deduction, Bremen, Germany, July 17–20, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73594-6/pbk). Lecture Notes in Computer Science 4603. Lecture Notes in Artificial Intelligence, 147-166 (2007). MSC: 68N30 68T15 PDFBibTeX XMLCite \textit{A. Tiwari} and \textit{S. Gulwani}, Lect. Notes Comput. Sci. 4603, 147--166 (2007; Zbl 1213.68210) Full Text: DOI
Gawlitza, Thomas; Seidl, Helmut Precise relational invariants through strategy iteration. (English) Zbl 1179.68037 Duparc, Jacques (ed.) et al., Computer science logic. 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11–15, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74914-1/pbk). Lecture Notes in Computer Science 4646, 23-40 (2007). MSC: 68N30 90C08 PDFBibTeX XMLCite \textit{T. Gawlitza} and \textit{H. Seidl}, Lect. Notes Comput. Sci. 4646, 23--40 (2007; Zbl 1179.68037) Full Text: DOI
Sankaranarayanan, Sriram; Ivančić, Franjo; Gupta, Aarti Program analysis using symbolic ranges. (English) Zbl 1211.68101 Nielson, Hanne Riis (ed.) et al., Static analysis. 14th international symposium, SAS 2007, Kongens Lyngby, Denmark, August 22–24, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74060-5/pbk). Lecture Notes in Computer Science 4634, 366-383 (2007). MSC: 68N30 PDFBibTeX XMLCite \textit{S. Sankaranarayanan} et al., Lect. Notes Comput. Sci. 4634, 366--383 (2007; Zbl 1211.68101) Full Text: DOI
Revesz, Peter The constraint database approach to software verification. (English) Zbl 1132.68339 Cook, Byron (ed.) et al., Verification, model checking, and abstract interpretation. 8th international conference, VMCAI 2007, Nice, France, January 14–16, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-69735-0/pbk). Lecture Notes in Computer Science 4349, 329-345 (2007). MSC: 68N30 68P15 68Q60 PDFBibTeX XMLCite \textit{P. Revesz}, Lect. Notes Comput. Sci. 4349, 329--345 (2007; Zbl 1132.68339) Full Text: DOI
Bradley, Aaron R.; Manna, Zohar The calculus of computation. Decision procedures with applications to verification. (English) Zbl 1126.03001 Berlin: Springer (ISBN 978-3-540-74112-1/hbk). xv, 366 p. (2007). Reviewer: Alex Nabebin (Moskva) MSC: 03-02 03B70 68Q60 03B25 03F30 68-02 68N30 PDFBibTeX XMLCite \textit{A. R. Bradley} and \textit{Z. Manna}, The calculus of computation. Decision procedures with applications to verification. Berlin: Springer (2007; Zbl 1126.03001)
Gaubert, Stephane; Goubault, Eric; Taly, Ankur; Zennou, Sarah Static analysis by policy iteration on relational domains. (English) Zbl 1187.68151 De Nicola, Rocco (ed.), Programming languages and systems. 16th European symposium of programming, ESOP 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 – April 1, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-71314-2/pbk). Lecture Notes in Computer Science 4421, 237-252 (2007). MSC: 68N30 PDFBibTeX XMLCite \textit{S. Gaubert} et al., Lect. Notes Comput. Sci. 4421, 237--252 (2007; Zbl 1187.68151) Full Text: DOI
Dalla Preda, Mila; Madou, Matias; De Bosschere, Koen; Giacobazzi, Roberto Opaque predicates detection by abstract interpretation. (English) Zbl 1236.68046 Johnson, Michael (ed.) et al., Algebraic methodology and software technology. 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5–8, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-35633-2/pbk). Lecture Notes in Computer Science 4019, 81-95 (2006). MSC: 68N30 68P25 PDFBibTeX XMLCite \textit{M. Dalla Preda} et al., Lect. Notes Comput. Sci. 4019, 81--95 (2006; Zbl 1236.68046) Full Text: DOI Link
Miné, Antoine Symbolic methods to enhance the precision of numerical abstract domains. (English) Zbl 1176.68050 Emerson, E. Allen (ed.) et al., Verification, model checking, and abstract interpretation. 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8–10, 2006. Proceedings. Berlin: Springer (ISBN 3-540-31139-4/pbk). Lecture Notes in Computer Science 3855, 348-363 (2006). MSC: 68N30 68W30 PDFBibTeX XMLCite \textit{A. Miné}, Lect. Notes Comput. Sci. 3855, 348--363 (2006; Zbl 1176.68050) Full Text: DOI
Besson, Frédéric; Jensen, Thomas; Pichardie, David Proof-carrying code from certified abstract interpretation and fixpoint compression. (English) Zbl 1153.68354 Theor. Comput. Sci. 364, No. 3, 273-291 (2006). MSC: 68N30 03B70 68T15 PDFBibTeX XMLCite \textit{F. Besson} et al., Theor. Comput. Sci. 364, No. 3, 273--291 (2006; Zbl 1153.68354) Full Text: DOI
Miné, Antoine The octagon abstract domain. (English) Zbl 1105.68069 High.-Order Symb. Comput. 19, No. 1, 31-100 (2006). MSC: 68Q55 68N30 PDFBibTeX XMLCite \textit{A. Miné}, High.-Order Symb. Comput. 19, No. 1, 31--100 (2006; Zbl 1105.68069) Full Text: DOI
Massé, Damien Abstract domains for property checking driven analysis of temporal properties. (English) Zbl 1108.68399 Rattray, Charles (ed.) et al., Algebraic methodology and software technology. 10th international conference, AMAST 2004, Stirling, Scotland, UK, July 12–16, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22381-9/pbk). Lecture Notes in Computer Science 3116, 349-363 (2004). MSC: 68N30 PDFBibTeX XMLCite \textit{D. Massé}, Lect. Notes Comput. Sci. 3116, 349--363 (2004; Zbl 1108.68399) Full Text: DOI
Jeannet, Bertrand; Serwe, Wendelin Abstracting call-stacks for interprocedural verification of imperative programs. (English) Zbl 1108.68392 Rattray, Charles (ed.) et al., Algebraic methodology and software technology. 10th international conference, AMAST 2004, Stirling, Scotland, UK, July 12–16, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22381-9/pbk). Lecture Notes in Computer Science 3116, 258-273 (2004). MSC: 68N30 PDFBibTeX XMLCite \textit{B. Jeannet} and \textit{W. Serwe}, Lect. Notes Comput. Sci. 3116, 258--273 (2004; Zbl 1108.68392) Full Text: DOI
Jeannet, Bertrand; Loginov, Alexey; Reps, Thomas; Sagiv, Mooly A relational approach to interprocedural shape analysis. (English) Zbl 1104.68416 Giacobazzi, Roberto (ed.), Static analysis. 11th international symposium, SAS 2004, Verona, Italy, August 26–28, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22791-1/pbk). Lecture Notes in Computer Science 3148, 246-264 (2004). MSC: 68N30 68P05 PDFBibTeX XMLCite \textit{B. Jeannet} et al., Lect. Notes Comput. Sci. 3148, 246--264 (2004; Zbl 1104.68416) Full Text: DOI
Venet, Arnaud A scalable nonuniform pointer analysis for embedded programs. (English) Zbl 1104.68425 Giacobazzi, Roberto (ed.), Static analysis. 11th international symposium, SAS 2004, Verona, Italy, August 26–28, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22791-1/pbk). Lecture Notes in Computer Science 3148, 149-164 (2004). MSC: 68N30 68Q55 PDFBibTeX XMLCite \textit{A. Venet}, Lect. Notes Comput. Sci. 3148, 149--164 (2004; Zbl 1104.68425) Full Text: DOI
Simon, Axel; King, Andy; Howe, Jacob M. Two variables per linear inequality as an abstract domain. (English) Zbl 1278.68072 Leuschel, Michael (ed.), Logic based program synthesis and transformation. 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17–20, 2002. Revised selected papers. Berlin: Springer (ISBN 3-540-40438-4/pbk). Lecture Notes in Computer Science 2664, 71-89 (2003). MSC: 68N30 52B55 68N17 68Q60 PDFBibTeX XMLCite \textit{A. Simon} et al., Lect. Notes Comput. Sci. 2664, 71--89 (2003; Zbl 1278.68072) Full Text: DOI Link
Miné, Antoine A few graph-based relational numerical abstract domains. (English) Zbl 1015.68040 Hermenegildo, Manuel V. (ed.) et al., Static analysis. 9th international symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2477, 117-132 (2002). MSC: 68N30 PDFBibTeX XMLCite \textit{A. Miné}, Lect. Notes Comput. Sci. 2477, 117--132 (2002; Zbl 1015.68040) Full Text: Link