Concepedia

Partial Evaluation

Partial Evaluation is a program optimization technique in the field of programming language implementation that belongs to the class of compile-time specialization methods, distinguished by its ability to evaluate and simplify programs by fixing certain inputs while leaving others residual, thereby generating a more efficient specialized version of the original program.

407

Publications

18.3K

Citations

628

Authors

265

Institutions

Publications per year

2017–2026

33

Parents

Publications

407

Program Analysis and Specialization for the C Programming Language

Lars Ole Andersen, Peter Lee · 2005 · 920 citations

, , +10

A core calculus of dependency

Martı́n Abadi, Anindya Banerjee, Nevin Heintze et al. · 1999 · 415 citations

, , +15

Partial evaluation in logic programming

John W. Lloyd, J. C. Shepherdson · The Journal of Logic Programming · 1991 · 388 citations

, , +8

The concept of a supercompiler

Valentin F. Turchin · ACM Transactions on Programming Languages and Systems · 1986 · 367 citations · Full text

, , +10

KIDS: a semiautomatic program development system

Douglas R. Smith · IEEE Transactions on Software Engineering · 1990 · 355 citations

, , +9

1–5 of 407

Authors

628

  1. OD
    Olivier Danvy

    Aarhus University, Denmark

    29 publications · 1.3K citations

    18

    h-index

  2. ML
    Michaël Leuschel

    Heinrich Heine University Düsseldorf, Germany

    14 publications · 451 citations

    13

    h-index

  3. CC
    Charles Consel

    Institut national de recherche en sciences et technologies du numérique, France

    13 publications · 921 citations

    12

    h-index

  4. ND
    Neil D. Jones

    University of Copenhagen, Denmark

    10 publications · 626 citations

    10

    h-index

  5. GV
    Germán Vidal

    Universitat Politècnica de València, Spain

    11 publications · 308 citations

    10

    h-index

1–5 of 628

Institutions

265

  1. University of Copenhagen

    Copenhagen, Denmark

    22 h-index

    49 publications

    3.8K citations

  2. Aarhus University

    Aarhus, Denmark

    19 h-index

    44 publications

    1.3K citations

  3. University of Southampton

    Southampton, United Kingdom

    10 h-index

    13 publications

    461 citations

  4. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    10 h-index

    21 publications

    680 citations

  5. Universitat Politècnica de València

    Valencia, Spain

    9 h-index

    16 publications

    468 citations

  6. Stanford University

    Stanford, United States

    7 h-index

    28 publications

    2.9K citations

  7. Oracle (United States)

    Austin, United States

    7 h-index

    9 publications

    503 citations

  8. University of Wisconsin–Madison

    Madison, United States

    7 h-index

    11 publications

    402 citations

1–8 of 265

Venues

  1. Journal of Functional Programming

    12 publications · 630 citations

    12

    h-index

  2. ACM SIGPLAN Notices

    15 publications · 314 citations

    11

    h-index

  3. 11

    h-index

  4. BRICS Report Series

    15 publications · 251 citations

    11

    h-index

  5. LISP and Symbolic Computation

    7 publications · 409 citations

    7

    h-index

1–5