Static Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

24
(FIVE YEARS 0)

H-INDEX

12
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540285847, 9783540319719
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Widening Operators for Weakly-Relational Numeric Abstractions

2005 ◽  
pp. 3-18 ◽  
Author(s):  
Roberto Bagnara ◽  
Patricia M. Hill ◽  
Elena Mazzi ◽  
Enea Zaffanella
Keyword(s):  
Widening Operators

scholarly journals Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra

2005 ◽  
pp. 19-34 ◽  
Author(s):  
Roberto Bagnara ◽  
Enric Rodríguez-Carbonell ◽  
Enea Zaffanella
Keyword(s):  
Convex Polyhedra ◽  
Algebraic Invariants

Finding Basic Block and Variable Correspondence

2005 ◽  
pp. 251-267 ◽  
Author(s):  
Iman Narasamdya ◽  
Andrei Voronkov
Keyword(s):  
Basic Block

scholarly journals Memory Usage Verification for OO Programs

2005 ◽  
pp. 70-86 ◽  
Author(s):  
Wei-Ngan Chin ◽  
Huu Hai Nguyen ◽  
Shengchao Qin ◽  
Martin Rinard
Keyword(s):  
Memory Usage

Locality-Based Abstractions

2005 ◽  
pp. 118-134 ◽  
Author(s):  
Javier Esparza ◽  
Pierre Ganty ◽  
Stefan Schwoon
Load More ...
Sign in / Sign up

Export Citation Format

Share Document