Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

196

POPL
2003
ACM

101views Programming Languages» more POPL 2003»

A type theory for memory allocation and data layout

16 years 3 months ago

A type theory for memory allocation and data layout

Download www-2.cs.cmu.edu

Leaf Petersen, Robert Harper, Karl Crary, Frank Pf

Real-time Traffic

POPL 2003 | Programming Languages | Type Theory |

claim paper

Related Content

» Automatic pool allocation improving performance by controlling data structure layout in th...

» On improving heap memory layout by dynamic pool allocation

» MODLEX A Multi Objective Data Layout EXploration Framework for Embedded SystemsonChip

» Restructuring field layouts for embedded memory systems

» The logical approach to stack typing

» Automated Dynamic Memory Data Type Implementation Exploration and Optimization

» A theory of platformdependent lowlevel software

» Simultaneous synthesis of buses data mapping and memory allocation for MPSoC

» Strategies for dynamic memory allocation in hybrid architectures

Post Info
More Details (n/a)

Added	03 Dec 2009
Updated	03 Dec 2009
Type	Conference
Year	2003
Where	POPL
Authors	Leaf Petersen, Robert Harper, Karl Crary, Frank Pfenning

Comments (0)