Static Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

27
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642237010, 9783642237027
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Bound Analysis of Imperative Programs with the Size-Change Abstraction

2011 ◽  
pp. 280-297 ◽  
Author(s):  
Florian Zuleger ◽  
Sumit Gulwani ◽  
Moritz Sinn ◽  
Helmut Veith
Keyword(s):  
Size Change ◽  
Bound Analysis

Side-Effect Analysis of Assembly Code

2011 ◽  
pp. 77-94 ◽  
Author(s):  
Andrea Flexeder ◽  
Michael Petter ◽  
Helmut Seidl
Keyword(s):  
Side Effect ◽  
Effect Analysis ◽  
Assembly Code

scholarly journals Verifying Fence Elimination Optimisations

2011 ◽  
pp. 146-162 ◽  
Author(s):  
Viktor Vafeiadis ◽  
Francesco Zappa Nardelli

scholarly journals Probabilistically Accurate Program Transformations

2011 ◽  
pp. 316-333 ◽  
Author(s):  
Sasa Misailovic ◽  
Daniel M. Roy ◽  
Martin C. Rinard
Keyword(s):  
Program Transformations

scholarly journals Satisfiability Modulo Recursive Programs

2011 ◽  
pp. 298-315 ◽  
Author(s):  
Philippe Suter ◽  
Ali Sinan Köksal ◽  
Viktor Kuncak
Keyword(s):  
Recursive Programs

scholarly journals On Sequentializing Concurrent Programs

2011 ◽  
pp. 129-145 ◽  
Author(s):  
Ahmed Bouajjani ◽  
Michael Emmi ◽  
Gennaro Parlato
Keyword(s):  
Concurrent Programs
Load More ...
Sign in / Sign up

Export Citation Format

Share Document