Skip to Main content Skip to Navigation
Reports

A Simplified Account of Region Inference

Jean-Pierre Talpin 1
1 EP-ATR - Environnement de programmation d'applications temps réel
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Abstract : Region inference is a program analysis which statically determines regions of memory in which values are stored. Regions are allocated and de-allocated according to a stack discipline. Region inference is an attractive alternative to dynamic memory management via garbage collection for the implementation of mission-critical applications, of inter-operating system components, of certifiable software. In the aim of putting region-based memory management to work for the design and implementation of real-time system software, the goal of the present article is to consolidate present knowledge on region-based memory management by giving a simplified account of region inference. We achieve this goal by giving an inductive proof of correctness for region inference w.r.t. a small step operational semantics and by defining a sound, fixed-point iterative, inference algorithm.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00072527
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 10:11:23 AM
Last modification on : Thursday, February 11, 2021 - 2:48:04 PM
Long-term archiving on: : Sunday, April 4, 2010 - 11:12:02 PM

Identifiers

  • HAL Id : inria-00072527, version 1

Citation

Jean-Pierre Talpin. A Simplified Account of Region Inference. [Research Report] RR-4104, INRIA. 2001. ⟨inria-00072527⟩

Share

Metrics

Record views

148

Files downloads

197