Static Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

24
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662534120, 9783662534137
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Completeness in Approximate Transduction

2016 ◽  
pp. 126-146 ◽  
Author(s):  
Mila Dalla Preda ◽  
Roberto Giacobazzi ◽  
Isabella Mastroeni

scholarly journals A Parametric Abstract Domain for Lattice-Valued Regular Expressions

2016 ◽  
pp. 338-360 ◽  
Author(s):  
Jan Midtgaard ◽  
Flemming Nielson ◽  
Hanne Riis Nielson
Keyword(s):  
Regular Expressions

scholarly journals Enforcing Termination of Interprocedural Analysis

2016 ◽  
pp. 447-468 ◽  
Author(s):  
Stefan Schulze Frielinghaus ◽  
Helmut Seidl ◽  
Ralf Vogler
Keyword(s):  
Interprocedural Analysis

Automated Verification of Linearization Policies

2016 ◽  
pp. 61-83 ◽  
Author(s):  
Parosh Aziz Abdulla ◽  
Bengt Jonsson ◽  
Cong Quy Trinh
Keyword(s):  
Automated Verification

Securing a Compiler Transformation

2016 ◽  
pp. 170-188 ◽  
Author(s):  
Chaoqiang Deng ◽  
Kedar S. Namjoshi

Relational Verification Through Horn Clause Transformation

2016 ◽  
pp. 147-169 ◽  
Author(s):  
Emanuele De Angelis ◽  
Fabio Fioravanti ◽  
Alberto Pettorossi ◽  
Maurizio Proietti
Keyword(s):  
Horn Clause
Load More ...
Sign in / Sign up

Export Citation Format

Share Document