Recognition of logically related regions based heap abstraction (Q1942939): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q4411961 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Simple relational correctness proofs for static analyses and program transformations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semi-sparse flow-sensitive pointer analysis / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An axiomatic basis for computer programming / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Type systems equivalent to data-flow analyses for imperative languages / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: From flow logic to static type systems for coordination languages / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4414732 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Program and proof optimizations with type systems / rank | |||
Normal rank |
Latest revision as of 07:22, 6 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Recognition of logically related regions based heap abstraction |
scientific article |
Statements
Recognition of logically related regions based heap abstraction (English)
0 references
14 March 2013
0 references
heap abstraction
0 references
data structures
0 references
static deallocation
0 references
pool allocation
0 references
region-based garbage collection
0 references
object co-location
0 references