Programming Languages and Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

24
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642106712, 9783642106729
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Bi-abductive Resource Invariant Synthesis

2009 ◽  
pp. 259-274 ◽  
Author(s):  
Cristiano Calcagno ◽  
Dino Distefano ◽  
Viktor Vafeiadis

scholarly journals Asymptotic Resource Usage Bounds

2009 ◽  
pp. 294-310 ◽  
Author(s):  
Elvira Albert ◽  
Diego Alonso ◽  
Puri Arenas ◽  
Samir Genaim ◽  
German Puebla
Keyword(s):  
Resource Usage

Abstract Transformers for Thread Correlation Analysis

2009 ◽  
pp. 30-46 ◽  
Author(s):  
Michal Segalov ◽  
Tal Lev-Ami ◽  
Roman Manevich ◽  
Ramalingam Ganesan ◽  
Mooly Sagiv
Keyword(s):  
Correlation Analysis
Load More ...
Sign in / Sign up

Export Citation Format

Share Document