Skip to search formSkip to main contentSkip to account menu

Shape analysis (program analysis)

Known as: Shape analysis, Shape analysis (software) 
In program analysis, a shape analysis is a static code analysis technique that discovers and verifies properties of linked, dynamically allocated… 
Wikipedia (opens in a new tab)

Related topics

Related topics

12 relations
Alias analysisDangling pointerEscape analysisHalting problem

Broader (1)

Static program analysis

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Extending ALCQIO with reachability
We introduce a description logic ALCQIO_{b,Re} which adds reachability assertions to ALCQIO, a sub-logic of the two-variable… 
2009
2009
Automatic Road Extraction Method Based on Level Set and Shape Analysis
An automatic road extraction method was proposed based on level set and shape metric for sensing digital image. Level set… 
2008
2008
Session details: Shape analysis
2008
2008
Session details: Shape analysis
2007
2007
Modular Ranking Abstraction
Predicate abstraction has become one of the most successful methodologies for proving safety properties of programs. Recently… 
2007
2007
Shape analysis of complex symmetric structures : Estimating components of symmetric variation and asymmetry
The method of object symmetry (Mardia et al. 2000) has been elaborated for the studies of shape variation in structures that have… 
2004
2004
A Qualitative Research of Lung Tumor Based on Quantitative Three-Dimensional Shape Analysis
The computer-aided diagnosis system of lung tumor has great clinical significance for alleviating doctor's pressure and reducing… 
Review
2002
Review
2002
Web-based Software Tools for 3D Body Database Access and Shape Analysis
In the context of the 3D-Centre project, UCL has addressed the problem of fast, secure and efficient storage and retrieval of… 
2002
2002
New Shape Analysis and Interprocedural Techniques for Automatic Parallelization of C Codes
Automatic parallelization of codes with complex data structures is becoming very important. These complex, and often recursive… 
1999
1999
New shape analysis techniques for automatic parallelization of C codes
Automatic parallelization of codes with complex data structures is becoming very important. These complex, and often, recursive… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)