A generic framework for heap and value analyses of object-oriented programming languages (Q278744)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A generic framework for heap and value analyses of object-oriented programming languages |
scientific article |
Statements
A generic framework for heap and value analyses of object-oriented programming languages (English)
0 references
2 May 2016
0 references
This paper introduces a generic framework for heap and value analyses of strongly typed object-oriented programming languages. The 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
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
