Concepedia

Program Transformation

Program Transformation is a formal method in programming language implementation that systematically converts source programs into semantically equivalent or target-specific representations through syntactic or logical manipulations, distinguished by its reliance on precise, rule-based rewriting strategies to support tasks such as optimization, translation, or analysis.

956

Publications

53K

Citations

1.6K

Authors

528

Institutions

Publications per year

2017–2026

69

Parents

Publications

956

Direct Manipulation: A Step Beyond Programming Languages

Shneiderman · Computer · 1983 · 1.9K citations

, , +7

A Transformation System for Developing Recursive Programs

R. M. Burstall, John Darlington · Journal of the ACM · 1977 · 1.3K citations · Full text

, , +10

Program Analysis and Specialization for the C Programming Language

Lars Ole Andersen, Peter Lee · 2005 · 920 citations

, , +10

Scaling step-wise refinement

Don Batory, Jacob Neal Sarvela, Axel Rauschmayer · IEEE Transactions on Software Engineering · 2004 · 696 citations

, , +16

A new implementation technique for applicative languages

David A. Turner · Software Practice and Experience · 1979 · 612 citations

, , +12

1–5 of 956

Authors

1.6K

  1. EV
    Eelco Visser

    Delft University of Technology, Netherlands

    22 publications · 1.8K citations

    18

    h-index

  2. MW
    Martin Ward

    De Montfort University, United Kingdom

    18 publications · 547 citations

    14

    h-index

  3. MH
    Mark Harman

    University College London, United Kingdom

    15 publications · 946 citations

    14

    h-index

  4. OD
    Olivier Danvy

    Aarhus University, Denmark

    12 publications · 447 citations

    11

    h-index

  5. WG
    William G. Griswold

    University of California San Diego, United States

    9 publications · 535 citations

    9

    h-index

1–5 of 1.6K

Institutions

528

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

    Le Chesnay-Rocquencourt, France

    18 h-index

    38 publications

    2K citations

  2. Stanford University

    Stanford, United States

    17 h-index

    31 publications

    2.5K citations

  3. Durham University

    Durham, United Kingdom

    15 h-index

    26 publications

    898 citations

  4. University of Illinois Urbana-Champaign

    Urbana, United States

    15 h-index

    47 publications

    1.8K citations

  5. University of California, Berkeley

    Berkeley, United States

    14 h-index

    51 publications

    4.8K citations

  6. Utrecht University

    Utrecht, The Netherlands

    13 h-index

    24 publications

    1.5K citations

  7. Carnegie Mellon University

    Pittsburgh, United States

    13 h-index

    20 publications

    1.4K citations

  8. Aarhus University

    Aarhus, Denmark

    12 h-index

    18 publications

    892 citations

1–8 of 528

Venues

  1. ACM SIGPLAN Notices

    47 publications · 2.1K citations

    26

    h-index

  2. IEEE Transactions on Software Engineering

    TSE · 33 publications · 2.9K citations

    24

    h-index

  3. 21

    h-index

  4. Electronic Notes in Theoretical Computer Science

    ENTCS · 32 publications · 893 citations

    18

    h-index

  5. Science of Computer Programming

    17 publications · 1.3K citations

    14

    h-index

1–5