Static Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

27
(FIVE YEARS 0)

H-INDEX

12
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540227915, 9783540278641
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Pointer-Range Analysis

2004 ◽  
pp. 133-148 ◽  
Author(s):  
Suan Hsi Yong ◽  
Susan Horwitz
Keyword(s):  
Range Analysis

scholarly journals A Relational Approach to Interprocedural Shape Analysis

2004 ◽  
pp. 246-264 ◽  
Author(s):  
Bertrand Jeannet ◽  
Alexey Loginov ◽  
Thomas Reps ◽  
Mooly Sagiv
Keyword(s):  
Shape Analysis ◽  
Relational Approach

scholarly journals The Octahedron Abstract Domain

2004 ◽  
pp. 312-327 ◽  
Author(s):  
Robert Clarisó ◽  
Jordi Cortadella
Load More ...
Sign in / Sign up

Export Citation Format

Share Document