Static Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

27
(FIVE YEARS 0)

H-INDEX

12
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540403258, 9783540448983
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management

2003 ◽  
pp. 483-503 ◽  
Author(s):  
Ran Shaham ◽  
Eran Yahav ◽  
Elliot K. Kolodner ◽  
Mooly Sagiv
Keyword(s):  
Memory Management ◽  
Safety Properties

Precise Analysis of String Expressions

2003 ◽  
pp. 1-18 ◽  
Author(s):  
Aske Simon Christensen ◽  
Anders Møller ◽  
Michael I. Schwartzbach
Keyword(s):  
Precise Analysis

scholarly journals Program Development Using Abstract Interpretation (And the Ciao System Preprocessor)

2003 ◽  
pp. 127-152 ◽  
Author(s):  
Manuel V. Hermenegildo ◽  
Germán Puebla ◽  
Francisco Bueno ◽  
Pedro López-García
Keyword(s):  
Program Development ◽  
Abstract Interpretation

Loop Transformations for Reducing Data Space Requirements of Resource-Constrained Applications

2003 ◽  
pp. 383-400 ◽  
Author(s):  
Priya Unnikrishnan ◽  
Guangyu Chen ◽  
Mahmut Kandemir ◽  
Mustafa Karakoy ◽  
Ibrahim Kolcu
Keyword(s):  
Resource Constrained ◽  
Loop Transformations ◽  
Data Space ◽  
Space Requirements

Client-Driven Pointer Analysis

2003 ◽  
pp. 214-236 ◽  
Author(s):  
Samuel Z. Guyer ◽  
Calvin Lin
Keyword(s):  
Pointer Analysis

Inserting Safe Memory Reuse Commands into ML-Like Programs

2003 ◽  
pp. 171-188 ◽  
Author(s):  
Oukseh Lee ◽  
Hongseok Yang ◽  
Kwangkeun Yi
Keyword(s):  
Memory Reuse

scholarly journals Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis

2003 ◽  
pp. 189-213 ◽  
Author(s):  
Thomas Reps ◽  
Stefan Schwoon ◽  
Somesh Jha
Keyword(s):  
Dataflow Analysis

Selective Tail Call Elimination

2003 ◽  
pp. 153-170 ◽  
Author(s):  
Yasuhiko Minamide

scholarly journals Message Analysis for Concurrent Languages

2003 ◽  
pp. 73-90
Author(s):  
Richard Carlsson ◽  
Konstantinos Sagonas ◽  
Jesper Wilhelmsson
Load More ...
Sign in / Sign up

Export Citation Format

Share Document