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

TOTAL DOCUMENTS

27
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540297352, 9783540322474
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Symbolic Execution with Separation Logic

2005 ◽  
pp. 52-68 ◽  
Author(s):  
Josh Berdine ◽  
Cristiano Calcagno ◽  
Peter W. O’Hearn
Keyword(s):  
Symbolic Execution ◽  
Separation Logic

scholarly journals Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis

2005 ◽  
pp. 330-346 ◽  
Author(s):  
Peter Vanbroekhoven ◽  
Gerda Janssens ◽  
Maurice Bruynooghe ◽  
Francky Catthoor
Keyword(s):  
Data Flow ◽  
Flow Analysis ◽  
Data Flow Analysis ◽  
Single Assignment

Loop Invariants on Demand

2005 ◽  
pp. 119-134 ◽  
Author(s):  
K. Rustan M. Leino ◽  
Francesco Logozzo
Keyword(s):  
On Demand
Load More ...
Sign in / Sign up

Export Citation Format

Share Document