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

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 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