Programming Languages

Authors and titles for March 2007

[1] arXiv:cs/0703073 [pdf, other]

Title: A New Numerical Abstract Domain Based on Difference-Bound Matrices

Antoine Miné (LIENS)

Comments: (update: reversed author first and last names)

Journal-ref: Program As Data Objects II (PADOII) (05/2001) 155-172

Subjects: Programming Languages (cs.PL)

[2] arXiv:cs/0703074 [pdf, other]

Title: Field-Sensitive Value Analysis of Embedded C Programs with Union Types and Pointer Arithmetics

Antoine Miné (LIENS)

Comments: (update: reversed author first and last names)

Journal-ref: Languages, Compilers, and Tools for Embedded Systems (LCTES) (06/2006) 54-63

Subjects: Programming Languages (cs.PL)

[3] arXiv:cs/0703075 [pdf, other]

Title: A Few Graph-Based Relational Numerical Abstract Domains

Antoine Miné (LIENS)

Comments: (update: reversed author first and last names)

Journal-ref: Static Analysis Symposium (SAS) (09/2002) 117-132

Subjects: Programming Languages (cs.PL)

[4] arXiv:cs/0703076 [pdf, other]

Title: Symbolic Methods to Enhance the Precision of Numerical Abstract Domains

Antoine Miné (LIENS)

Comments: (update: reversed author first and last names)

Journal-ref: Verification, Abstract Interpretation and Model Checking (VMCAI) (01/2006) 348-363

Subjects: Programming Languages (cs.PL)

[5] arXiv:cs/0703077 [pdf, other]

Title: Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors

Antoine Miné (LIENS)

Comments: (update: reversed author first and last names)

Journal-ref: European Symposium on Programming (ESOP) (03/2004) 3-17

Subjects: Programming Languages (cs.PL)

[6] arXiv:cs/0703084 [pdf, other]

Title: The Octagon Abstract Domain

Antoine Miné (LIENS)

Comments: (update: reversed author first and last names)

Journal-ref: Analysis, Slicing and Transformation (AST) (10/2001) 310-319

Subjects: Programming Languages (cs.PL)

[7] arXiv:cs/0703116 [pdf, other]

Title: On the Design of Generic Static Analyzers for Modern Imperative Languages

Roberto Bagnara, Patricia M. Hill, Andrea Pescetti, Enea Zaffanella

Comments: 72 pages

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[8] arXiv:cs/0703155 [pdf, other]

Title: Liveness of Heap Data for Functional Programs

Amey Karkare, Uday Khedker, Amitabha Sanyal

Comments: Accepted at Heap Analysis and Verification workshop (HAV 2007), a satellite workshop of ETAPS 2007 (No formal proceedings for workshop); 15 pages

Subjects: Programming Languages (cs.PL)