A generic framework for heap and value analyses of object-oriented programming languages (Q278744)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A generic framework for heap and value analyses of object-oriented programming languages |
scientific article; zbMATH DE number 6576264
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A generic framework for heap and value analyses of object-oriented programming languages |
scientific article; zbMATH DE number 6576264 |
Statements
A generic framework for heap and value analyses of object-oriented programming languages (English)
0 references
2 May 2016
0 references
static analysis
0 references
heap analysis
0 references
value analysis
0 references
standard pointer analysis
0 references
abstract interpretation
0 references
generic analyzers
0 references
0 references
0.9122169
0 references
0.9062071
0 references
0.8735933
0 references
0.8614917
0 references
0.85771334
0 references
This paper introduces a generic framework for heap and value analyses of strongly typed object-oriented programming languages.NEWLINENEWLINENEWLINEThe author presents the formalization of a sound generic analysis which allows the combination of various heap and value abstractions automatically for these programming languages. The appendices report the complete proofs of the theoretical results presented in the paper.
0 references
