PEPM 2000 | Sciweavers

25

click to vote

PEPM
2000
ACM

113views Software Engineering» more PEPM 2000»

Symbolic Pointer Analysis for Detecting Memory Leaks

13 years 11 months ago

Download www.complang.tuwien.ac.at

Bernhard Scholz, Johann Blieberger, Thomas Fahring...

claim paper

Read More »

29

click to vote

PEPM
2000
ACM

120views Software Engineering» more PEPM 2000»

From Recursion to Iteration: What are the Optimizations?

13 years 11 months ago

Download www.cs.sunysb.edu

Transforming recursion into iteration eliminates the use of stack frames during program execution. It has been studied extensively. This paper describes a powerful and systematic ...

Yanhong A. Liu, Scott D. Stoller

claim paper

Read More »

20

click to vote

PEPM
2000
ACM

87views Software Engineering» more PEPM 2000»

Type-Based Useless Variable Elimination

13 years 11 months ago

Download www.cs.ucla.edu

Naoki Kobayashi

claim paper

Read More »

23

click to vote

PEPM
2000
ACM

113views Software Engineering» more PEPM 2000»

Calculating Sized Types

13 years 11 months ago

Download www.dur.ac.uk

Many program optimisations and analyses, such as arraybound checking, termination analysis, etc, dependon knowing the size of a function's input and output. However, size inf...

Wei-Ngan Chin, Siau-Cheng Khoo

claim paper

Read More »

17

click to vote

PEPM
2000
ACM

91views Software Engineering» more PEPM 2000»

The Second Futamura Projection for Type-Directed Partial Evaluation

13 years 11 months ago

Download www.brics.dk

Bernd Grobauer, Zhe Yang

claim paper