Sciweavers

1089 search results - page 18 / 218

» Oracle-Based Partial Evaluation

29

AC
2000
Springer

72views Software Engineering» more AC 2000»

Normalization and Partial Evaluation

14 years 2 months ago

Normalization and Partial Evaluation

Download www.diku.dk

Peter Dybjer, Andrzej Filinski

claim paper

Read More »

25

PEPM
1999
ACM

96views Software Engineering» more PEPM 1999»

An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework

14 years 2 months ago

An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework

Download www.cs.bris.ac.uk

Germán Puebla, Manuel V. Hermenegildo, John...

claim paper

Read More »

33

PPDP
1999
Springer

107views Programming Languages» more PPDP 1999»

A Semantic Account of Type-Directed Partial Evaluation

14 years 2 months ago

A Semantic Account of Type-Directed Partial Evaluation

Download www.brics.dk

Andrzej Filinski

claim paper

Read More »

32

FLOPS
1998
Springer

76views Automated Reasoning» more FLOPS 1998»

Online Type-Directed Partial Evaluation

14 years 1 months ago

Online Type-Directed Partial Evaluation

Download repository.readscheme.org

Olivier Danvy

claim paper

Read More »

22

PEPM
1998
ACM

85views Software Engineering» more PEPM 1998»

Partial Evaluation for the Lambda Calculus

14 years 1 months ago

Partial Evaluation for the Lambda Calculus

Download www.dina.kvl.dk

Neil D. Jones, Carsten K. Gomard, Peter Sestoft

claim paper

Read More »

« Prev « First page 18 / 218 Last » Next »