Static Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

29
(FIVE YEARS 0)

H-INDEX

12
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642331244, 9783642331251
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Loop Leaping with Closures

2012 ◽  
pp. 214-230 ◽  
Author(s):  
Sebastian Biallas ◽  
Jörg Brauer ◽  
Andy King ◽  
Stefan Kowalewski

scholarly journals Efficient May Happen in Parallel Analysis for Async-Finish Parallelism

2012 ◽  
pp. 5-23 ◽  
Author(s):  
Jonathan K. Lee ◽  
Jens Palsberg ◽  
Rupak Majumdar ◽  
Hong Hong
Keyword(s):  
Parallel Analysis

scholarly journals Bilateral Algorithms for Symbolic Abstraction

2012 ◽  
pp. 111-128 ◽  
Author(s):  
Aditya Thakur ◽  
Matt Elder ◽  
Thomas Reps

scholarly journals Invariant Generation for Parametrized Systems Using Self-reflection

2012 ◽  
pp. 146-163 ◽  
Author(s):  
Alejandro Sanchez ◽  
Sriram Sankaranarayanan ◽  
César Sánchez ◽  
Bor-Yuh Evan Chang
Keyword(s):  
Self Reflection ◽  
Invariant Generation ◽  
Parametrized Systems

Liveness-Based Pointer Analysis

2012 ◽  
pp. 265-282 ◽  
Author(s):  
Uday P. Khedker ◽  
Alan Mycroft ◽  
Prashant Singh Rawat
Keyword(s):  
Pointer Analysis
Load More ...
Sign in / Sign up

Export Citation Format

Share Document