From Region Inference to von Neumann Machines via Region Representation Inference

From Region Inference to von Neumann Machines via Region Representation Inference (1996)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Lars Birkedal , Mads Tofte , Magnus Vejlstrup , Nkt Elektronik

Venue:	In Twenty-Third ACM Symposium on Principles of Programming Languages
Citations:	86 - 7 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	From Region Inference to von Neumann Machines via Region Representation Inference	user correction - Legacy Corrections
AUTHOR NAME	Lars Birkedal	user correction - Legacy Corrections
AUTHOR AFFIL	Carnegie Mellon University	user correction - Legacy Corrections
AUTHOR NAME	Mads Tofte	user correction - Legacy Corrections
AUTHOR AFFIL	University of Copenhagen; y	user correction - Legacy Corrections
AUTHOR NAME	Magnus Vejlstrup	user correction - Legacy Corrections
AUTHOR AFFIL	z	user correction - Legacy Corrections
AUTHOR NAME	Nkt Elektronik	user correction - Legacy Corrections
AUTHOR AFFIL	z	user correction - Legacy Corrections
ABSTRACT	Region Inference is a technique for implementing programming languages that are based on typed call-by-value lambda calculus, such as Standard ML. The mathematical runtime model of region inference uses a stack of regions, each of which can contain an unbounded number of values. This paper is concerned with mapping the mathematical model onto real machines. This is done by composing region inference with Region Representation Inference, which gradually refines region information till it is directly implementable on conventional von Neumann machines. The performance of a new region-based ML compiler is compared to the performance of Standard ML of New Jersey, a state-of-the-art ML compiler. 1 Introduction It has been suggested that programming languages which are based on typed call-by-value lambda calculus can be implemented using regions for memory management[17]. At runtime, the store consists of a stack of regions. All values, including function closures, are put into regions. Reg...	user correction - Legacy Corrections
YEAR	1996	INFERENCE
VENUE	In Twenty-Third ACM Symposium on Principles of Programming Languages	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	171--183	INFERENCE
CITATIONS	18 found	ParsCit 1.0