Concepedia

Invariant Preservation

Invariant Preservation is a formal correctness criterion in refinement calculus that ensures a designated predicate remains true throughout the execution of a program transformation by guaranteeing its validity before and after each computational step.

75

Publications

3.5K

Citations

173

Authors

101

Institutions

Publications per year

2017–2026

17

Parents

Publications

75

Translation validation for an optimizing compiler

George C. Necula · 2000 · 487 citations

, , +16

Fast, effective dynamic compilation

Joel Auslander, Matthai Philipose, Craig Chambers et al. · 1996 · 189 citations · Full text

, , +15

Efficient mutation testing by checking invariant violations

David Schüler, Valentin Dallmeier, Andreas Zeller · 2009 · 164 citations

, , +14

A survey of linear preserver problems contents

Linear and Multilinear Algebra · 1992 · 156 citations

, , +6

Adequate proof principles for invariance and liveness properties of concurrent programs

Zohar Manna, Amir Pnueli · Science of Computer Programming · 1984 · 148 citations

, , +15

1–5 of 75

Authors

173

  1. NP
    Nuno Preguiça

    Universidade Nova de Lisboa, Portugal

    5 publications · 202 citations

    5

    h-index

  2. RR
    Rodrigo Rodrigues

    Max Planck Institute for Software Systems, Germany

    4 publications · 169 citations

    4

    h-index

  3. VB
    Valter Balegas

    Universidade Nova de Lisboa, Portugal

    3 publications · 157 citations

    3

    h-index

  4. MS
    Marc Shapiro

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

    3 publications · 165 citations

    3

    h-index

  5. SD
    Sérgio Duarte

    Universidade Nova de Lisboa, Portugal

    3 publications · 157 citations

    3

    h-index

1–5 of 173

Institutions

101

  1. University of California, Berkeley

    Berkeley, United States

    5 h-index

    9 publications

    764 citations

  2. Microsoft (United States)

    Redmond, United States

    4 h-index

    4 publications

    70 citations

  3. Universidade Nova de Lisboa

    Lisbon, Portugal

    4 h-index

    15 publications

    772 citations

  4. Stevens Institute of Technology

    Hoboken, United States

    3 h-index

    3 publications

    58 citations

  5. University of Washington

    Seattle, United States

    3 h-index

    12 publications

    1.1K citations

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

    Le Chesnay-Rocquencourt, France

    3 h-index

    6 publications

    330 citations

  7. University of Central Florida

    Orlando, United States

    2 h-index

    4 publications

    88 citations

  8. University of British Columbia

    Vancouver, Canada

    2 h-index

    3 publications

    280 citations

1–8 of 101

Venues

  1. ACM SIGPLAN Notices

    3 publications · 189 citations

    3

    h-index

  2. Proceedings of the ACM on Programming Languages

    PACMPL · 3 publications · 59 citations

    3

    h-index

  3. HAL (Le Centre pour la Communication Scientifique Directe)

    Repository · 2 publications · 91 citations

    2

    h-index

  4. IEEE Transactions on Software Engineering

    TSE · 2 publications · 32 citations

    2

    h-index

  5. Theoretical Computer Science

    2 publications · 44 citations

    2

    h-index

1–5