Static Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

23
(FIVE YEARS 0)

H-INDEX

12
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540664598, 9783540482949
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Translating Out of Static Single Assignment Form

1999 ◽  
pp. 194-210 ◽  
Author(s):  
Vugranam C. Sreedhar ◽  
Roy Dz-Ching Ju ◽  
David M. Gillies ◽  
Vatsa Santhanam
Keyword(s):  
Static Single Assignment ◽  
Single Assignment

Freeness Analysis Through Linear Refinement

1999 ◽  
pp. 85-100 ◽  
Author(s):  
Patricia Hill ◽  
Fausto Spoto

scholarly journals Static Analyses for Eliminating Unnecessary Synchronization from Java Programs

1999 ◽  
pp. 19-38 ◽  
Author(s):  
Jonathan Aldrich ◽  
Craig Chambers ◽  
Emin Gun Sirer ◽  
Susan Eggers
Keyword(s):  
Java Programs

Dynamic Partitioning in Analyses of Numerical Properties

1999 ◽  
pp. 39-50 ◽  
Author(s):  
Bertrand Jeannet ◽  
Nicolas Halbwachs ◽  
Pascal Raymond
Keyword(s):  
Dynamic Partitioning

Equational Semantics

1999 ◽  
pp. 264-283 ◽  
Author(s):  
Loîc Correnson ◽  
Etienne Duris ◽  
Didier Parigot ◽  
Gilles Roussel

scholarly journals State Space Reduction Based on Live Variables Analysis

1999 ◽  
pp. 164-178 ◽  
Author(s):  
Marius Bozga ◽  
Jean-Claude Fernandez ◽  
Lucian Ghirvu
Keyword(s):  
State Space ◽  
Space Reduction ◽  
State Space Reduction
Load More ...
Sign in / Sign up

Export Citation Format

Share Document