Sciweavers

1097 search results - page 20 / 220

» Partial evaluation of Maple

104

IFIP
1994
Springer

81views Programming Languages» more IFIP 1994»

Evolving Algebras and Partial Evaluation

15 years 7 months ago

Evolving Algebras and Partial Evaluation

Download research.microsoft.com

Yuri Gurevich, James K. Huggins

claim paper

Read More »

87

LOPSTR
1992
Springer

116views Automated Reasoning» more LOPSTR 1992»

Intensional Query Answering: An Application of Partial Evaluation

15 years 7 months ago

Intensional Query Answering: An Application of Partial Evaluation

Download www.dis.uniroma1.it

Giuseppe De Giacomo

claim paper

Read More »

93

PEPM
1992
ACM

107views Software Engineering» more PEPM 1992»

Self-applicable Partial Evaluation for Pure Lambda Calculus

15 years 7 months ago

Self-applicable Partial Evaluation for Pure Lambda Calculus

Download repository.readscheme.org

Torben Æ. Mogensen

claim paper

Read More »

121

SAS
1992
Springer

104views Formal Methods» more SAS 1992»

Partial Evaluation of Interaction Nets

15 years 7 months ago

Partial Evaluation of Interaction Nets

Download repository.readscheme.org

Denis Béchet

claim paper

Read More »

87

TAPSOFT
1989
Springer

67views Software Engineering» more TAPSOFT 1989»

A Self-Applicable Partial Evaluator for Term Rewriting Systems

15 years 7 months ago

A Self-Applicable Partial Evaluator for Term Rewriting Systems

Download repository.readscheme.org

Anders Bondorf

claim paper

Read More »

« Prev « First page 20 / 220 Last » Next »