Concepedia

Imperative Transformation

Imperative Transformation is a model transformation approach that belongs to the class of procedural methods, distinguished by its explicit specification of transformation logic through step-by-step instructions and control flow.

75

Publications

2.8K

Citations

179

Authors

82

Institutions

Publications per year

2017–2026

12

Parents

Publications

75

Essentials of programming languages

Daniel Friedman · Choice Reviews Online · 2008 · 318 citations

, , +16

Optimizing database-backed applications with query synthesis

Alvin Cheung, Armando Solar-Lezama, Samuel Madden · 2013 · 117 citations

, , +16

On determining lifetime and aliasing of dynamically allocated data in higher-order functional specifications

Alan Deutsch · 1990 · 107 citations · Full text

, , +16

The extractive imperative and the boom in environmental conflicts at the end of the progressive cycle in Latin America

Murat Arsel, Bárbara Hogenboom, Lorenzo Pellegrini · The Extractive Industries and Society · 2016 · 105 citations · Full text

, , +15

Detecting global variables in denotational specifications

David A. Schmidt · ACM Transactions on Programming Languages and Systems · 1985 · 97 citations · Full text

, , +14

1–5 of 75

Authors

179

  1. AS
    Armando Solar-Lezama

    Massachusetts Institute of Technology, United States

    3 publications · 180 citations

    3

    h-index

  2. AC
    Alvin Cheung

    University of Washington, United States

    3 publications · 180 citations

    3

    h-index

  3. SM
    Samuel Madden

    Massachusetts Institute of Technology, United States

    3 publications · 180 citations

    3

    h-index

  4. FF
    Fabio Fioravanti

    University of Chieti-Pescara, Italy

    2 publications · 39 citations

    2

    h-index

  5. JR
    Jonathan Ragan‐Kelley

    Massachusetts Institute of Technology, United States

    2 publications · 100 citations

    2

    h-index

1–5 of 179

Institutions

82

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

    Le Chesnay-Rocquencourt, France

    3 h-index

    9 publications

    265 citations

  2. University of Rome Tor Vergata

    Rome, Italy

    3 h-index

    3 publications

    53 citations

  3. University of Chieti-Pescara

    Chieti, Italy

    3 h-index

    6 publications

    106 citations

  4. Istituto di Analisi dei Sistemi ed Informatica Antonio Ruberti

    Rome, Italy

    3 h-index

    3 publications

    53 citations

  5. Heriot-Watt University

    Edinburgh, United Kingdom

    2 h-index

    7 publications

    87 citations

  6. Microsoft (United States)

    Redmond, United States

    2 h-index

    4 publications

    114 citations

  7. University of Pennsylvania

    Philadelphia, United States

    2 h-index

    2 publications

    155 citations

  8. MathWorks (United Kingdom)

    Cambridge, United Kingdom

    2 h-index

    2 publications

    79 citations

1–8 of 82

Venues

  1. Proceedings of the ACM on Programming Languages

    PACMPL · 3 publications · 97 citations

    3

    h-index

  2. ACM SIGPLAN Notices

    3 publications · 164 citations

    3

    h-index

  3. 3

    h-index

  4. Electronic Notes in Theoretical Computer Science

    ENTCS · 3 publications · 61 citations

    3

    h-index

  5. Theory and Practice of Logic Programming

    3 publications · 47 citations

    3

    h-index

1–5