Static Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

28
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642157684, 9783642157691
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Linear-Invariant Generation for Probabilistic Programs:

2010 ◽  
pp. 390-406 ◽  
Author(s):  
Joost-Pieter Katoen ◽  
Annabelle K. McIver ◽  
Larissa A. Meinicke ◽  
Carroll C. Morgan
Keyword(s):  
Invariant Generation ◽  
Linear Invariant ◽  
Probabilistic Programs

Alternation for Termination

2010 ◽  
pp. 304-319 ◽  
Author(s):  
William R. Harris ◽  
Akash Lal ◽  
Aditya V. Nori ◽  
Sriram K. Rajamani

scholarly journals Interprocedural Analysis with Lazy Propagation

2010 ◽  
pp. 320-339 ◽  
Author(s):  
Simon Holm Jensen ◽  
Anders Møller ◽  
Peter Thiemann
Keyword(s):  
Interprocedural Analysis

scholarly journals Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs

2010 ◽  
pp. 117-133 ◽  
Author(s):  
Christophe Alias ◽  
Alain Darte ◽  
Paul Feautrier ◽  
Laure Gonnord
Keyword(s):  
Complexity Bounds ◽  
Program Termination

scholarly journals Automatic Verification of Determinism for Structured Parallel Programs

2010 ◽  
pp. 455-471 ◽  
Author(s):  
Martin Vechev ◽  
Eran Yahav ◽  
Raghavan Raman ◽  
Vivek Sarkar
Keyword(s):  
Parallel Programs ◽  
Automatic Verification

scholarly journals Size-Change Termination and Transition Invariants

2010 ◽  
pp. 22-50 ◽  
Author(s):  
Matthias Heizmann ◽  
Neil D. Jones ◽  
Andreas Podelski
Keyword(s):  
Size Change

scholarly journals Concurrent Separation Logic for Pipelined Parallelization

2010 ◽  
pp. 151-166 ◽  
Author(s):  
Christian J. Bell ◽  
Andrew W. Appel ◽  
David Walker
Keyword(s):  
Separation Logic ◽  
Concurrent Separation Logic

scholarly journals Thread-Modular Counterexample-Guided Abstraction Refinement

2010 ◽  
pp. 356-372 ◽  
Author(s):  
Alexander Malkis ◽  
Andreas Podelski ◽  
Andrey Rybalchenko
Keyword(s):  
Abstraction Refinement
Load More ...
Sign in / Sign up

Export Citation Format

Share Document