Sciweavers

5 search results - page 1 / 1

» pepm 2000

28

PEPM
2000
ACM

87views Software Engineering» more PEPM 2000»

Type-Based Useless Variable Elimination

14 years 2 months ago

Type-Based Useless Variable Elimination

Download www.cs.ucla.edu

Naoki Kobayashi

claim paper

Read More »

28

PEPM
2000
ACM

91views Software Engineering» more PEPM 2000»

The Second Futamura Projection for Type-Directed Partial Evaluation

14 years 2 months ago

The Second Futamura Projection for Type-Directed Partial Evaluation

Download www.brics.dk

Bernd Grobauer, Zhe Yang

claim paper

Read More »

52

PEPM
2000
ACM

113views Software Engineering» more PEPM 2000»

Symbolic Pointer Analysis for Detecting Memory Leaks

14 years 2 months ago

Symbolic Pointer Analysis for Detecting Memory Leaks

Download www.complang.tuwien.ac.at

Bernhard Scholz, Johann Blieberger, Thomas Fahring...

claim paper

Read More »

42

PEPM
2000
ACM

120views Software Engineering» more PEPM 2000»

From Recursion to Iteration: What are the Optimizations?

14 years 2 months ago

From Recursion to Iteration: What are the Optimizations?

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 »

30

PEPM
2000
ACM

113views Software Engineering» more PEPM 2000»

Calculating Sized Types

14 years 2 months ago

Calculating Sized Types

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 »

« Prev « First page 1 / 1 Last » Next »