×

Found 32 Documents (Results 1–32)

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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
Full Text: DOI

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
Full Text: DOI HAL

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
Full Text: DOI

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
Full Text: DOI Link

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI Link

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software