Partial Evaluation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

24

(FIVE YEARS 0)

H-INDEX

11

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540615804, 9783540705895

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A comparative revisitation of some program transformation techniques

Partial Evaluation - Lecture Notes in Computer Science ◽

10.1007/3-540-61580-6_18 ◽

1996 ◽

pp. 355-385 ◽

Author(s):

Alberto Pettorossi ◽

Maurizio Proietti

Keyword(s):

Program Transformation ◽

Transformation Techniques

Download Full-text

What not to do when writing an interpreter for specialisation

Partial Evaluation - Lecture Notes in Computer Science ◽

10.1007/3-540-61580-6_11 ◽

1996 ◽

pp. 216-237 ◽

Author(s):

Neil D. Jones

Download Full-text

Multi-Level Lambda-Calculi: An algebraic description

Partial Evaluation - Lecture Notes in Computer Science ◽

10.1007/3-540-61580-6_17 ◽

1996 ◽

pp. 338-354 ◽

Author(s):

Flemming Nielson ◽

Hanne Riis Nielson

Keyword(s):

Algebraic Description ◽

Download Full-text

ML pattern match compilation and partial evaluation

Partial Evaluation - Lecture Notes in Computer Science ◽

10.1007/3-540-61580-6_22 ◽

1996 ◽

pp. 446-464 ◽

Author(s):

Peter Sestoft

Keyword(s):

Partial Evaluation ◽

Download Full-text

A uniform approach for compile-time and run-time specialization

Partial Evaluation - Lecture Notes in Computer Science ◽

10.1007/3-540-61580-6_4 ◽

1996 ◽

pp. 54-72 ◽

Author(s):

Charles Consel ◽

Luke Hornof ◽

FranÇois NoËl ◽

Jacques Noyé ◽

Nicolae Volanschi

Keyword(s):

Uniform Approach ◽

Download Full-text

Compiler generation for interactive graphics using intermediate code

Partial Evaluation - Lecture Notes in Computer Science ◽

10.1007/3-540-61580-6_6 ◽

1996 ◽

pp. 95-114 ◽

Author(s):

Scott Draves

Keyword(s):

Interactive Graphics ◽

Compiler Generation

Download Full-text

Squeezing intermediate construction in equational programs

Partial Evaluation - Lecture Notes in Computer Science ◽

10.1007/3-540-61580-6_14 ◽

1996 ◽

pp. 284-302 ◽

Author(s):

Alain Miniussi ◽

David J. Sherman

Download Full-text

Global control for partial deduction through characteristic atoms and global trees

Partial Evaluation - Lecture Notes in Computer Science ◽

10.1007/3-540-61580-6_13 ◽

1996 ◽

pp. 263-283 ◽

Author(s):

Michael Leuschel ◽

Bern Martens

Keyword(s):

Global Control ◽

Partial Deduction

Download Full-text

Pragmatics of type-directed partial evaluation

Partial Evaluation - Lecture Notes in Computer Science ◽

10.1007/3-540-61580-6_5 ◽

1996 ◽

pp. 73-94 ◽

Author(s):

Olivier Danvy

Keyword(s):

Partial Evaluation

Download Full-text

Metacomputation: Metasystem transitions plus supercompilation

Partial Evaluation - Lecture Notes in Computer Science ◽

10.1007/3-540-61580-6_24 ◽

1996 ◽

pp. 481-509 ◽

Author(s):

Valentin F. Turchin

Download Full-text