Static Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

18
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662482872, 9783662482889
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Shape Analysis for Unstructured Sharing

2015 ◽  
pp. 90-108 ◽  
Author(s):  
Huisong Li ◽  
Xavier Rival ◽  
Bor-Yuh Evan Chang
Keyword(s):  
Shape Analysis

scholarly journals Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration

2015 ◽  
pp. 312-331 ◽  
Author(s):  
Dario Cattaruzza ◽  
Alessandro Abate ◽  
Peter Schrammel ◽  
Daniel Kroening
Keyword(s):  
Time Analysis

scholarly journals Static Analysis with Set-Closure in Secrecy

2015 ◽  
pp. 18-35 ◽  
Author(s):  
Woosuk Lee ◽  
Hyunsook Hong ◽  
Kwangkeun Yi ◽  
Jung Hee Cheon
Keyword(s):  
Static Analysis

scholarly journals SJS: A Type System for JavaScript with Fixed Object Layout

2015 ◽  
pp. 181-198 ◽  
Author(s):  
Wontae Choi ◽  
Satish Chandra ◽  
George Necula ◽  
Koushik Sen
Keyword(s):  
Type System

scholarly journals Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis

2015 ◽  
pp. 252-274 ◽  
Author(s):  
Ghila Castelnuovo ◽  
Mayur Naik ◽  
Noam Rinetzky ◽  
Mooly Sagiv ◽  
Hongseok Yang
Keyword(s):  
Top Down ◽  
Bottom Up

Effective Soundness-Guided Reflection Analysis

2015 ◽  
pp. 162-180 ◽  
Author(s):  
Yue Li ◽  
Tian Tan ◽  
Jingling Xue
Load More ...
Sign in / Sign up

Export Citation Format

Share Document