Search Sciweavers | Sciweavers

This paper explores compiler techniques for reducing the memory needed to load and run program executables. In embedded systems, where economic incentives to reduce both ram and r...

Keith D. Cooper, Nathaniel McIntosh

claim paper

Read More »

224

click to vote

POPL
2002
ACM

101views Programming Languages» more POPL 2002»

Types as models: model checking message-passing programs

16 years 6 months ago

Download www.cs.cmu.edu

Sagar Chaki, Sriram K. Rajamani, Jakob Rehof

claim paper

Read More »

252

click to vote

POPL
2002
ACM

135views Programming Languages» more POPL 2002»

Systematic design of program transformation frameworks by abstract interpretation

16 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers