Static Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

22
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540676683, 9783540450993
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Checking Cleanness in Linked Lists

2000 ◽  
pp. 115-134 ◽  
Author(s):  
Nurit Dor ◽  
Michael Rodeh ◽  
Mooly Sagiv
Keyword(s):  
Linked Lists

scholarly journals A Transformational Approach for Generating Non-linear Invariants

2000 ◽  
pp. 58-72 ◽  
Author(s):  
S. Bensalem ◽  
M. Bozga ◽  
J. -C. Fernandez ◽  
L. Ghirvu ◽  
Y. Lakhnech
Keyword(s):  
Non Linear ◽  
Linear Invariants

Abstract Interpretation of Game Properties

2000 ◽  
pp. 220-239 ◽  
Author(s):  
Thomas A. Henzinger ◽  
Rupak Majumdar ◽  
Freddy Mang ◽  
Jean-François Raskin
Keyword(s):  
Abstract Interpretation

scholarly journals Code Specialization Based on Value Profiles

2000 ◽  
pp. 340-359 ◽  
Author(s):  
Robert Muth ◽  
Scott Watterson ◽  
Saumya Debray
Load More ...
Sign in / Sign up

Export Citation Format

Share Document