Static Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

20
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer International Publishing

9783319109350, 9783319109367
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Synthesis of Memory Fences via Refinement Propagation

2014 ◽  
pp. 237-252 ◽  
Author(s):  
Yuri Meshman ◽  
Andrei Dan ◽  
Martin Vechev ◽  
Eran Yahav

scholarly journals Region-Based Selective Flow-Sensitive Pointer Analysis

2014 ◽  
pp. 319-336 ◽  
Author(s):  
Sen Ye ◽  
Yulei Sui ◽  
Jingling Xue
Keyword(s):  
Pointer Analysis

Peak Cost Analysis of Distributed Systems

2014 ◽  
pp. 18-33 ◽  
Author(s):  
Elvira Albert ◽  
Jesús Correas ◽  
Guillermo Román-Díez
Keyword(s):  
Distributed Systems ◽  
Cost Analysis

scholarly journals Block Me If You Can!

2014 ◽  
pp. 1-17 ◽  
Author(s):  
Parosh Aziz Abdulla ◽  
Frédéric Haziza ◽  
Lukáš Holík

scholarly journals On Program Equivalence with Reductions

2014 ◽  
pp. 168-183 ◽  
Author(s):  
Guillaume Iooss ◽  
Christophe Alias ◽  
Sanjay Rajopadhye
Keyword(s):  
Program Equivalence

scholarly journals An Abstract Domain Combinator for Separately Conjoining Memory Abstractions

2014 ◽  
pp. 285-301 ◽  
Author(s):  
Antoine Toubhans ◽  
Bor-Yuh Evan Chang ◽  
Xavier Rival

scholarly journals Expectation Invariants for Probabilistic Program Loops as Fixed Points

2014 ◽  
pp. 85-100 ◽  
Author(s):  
Aleksandar Chakarov ◽  
Sriram Sankaranarayanan
Keyword(s):  
Fixed Points
Load More ...
Sign in / Sign up

Export Citation Format

Share Document