Concepedia

Refinement Calculus

Refinement Calculus is a formal method in program development that provides a calculus of refinement rules for stepwise transforming abstract, possibly non-executable specifications into executable programs via behavior-preserving (correctness-preserving) transformations.

152

Publications

5.7K

Citations

237

Authors

139

Institutions

Publications per year

2017–2026

8

Parents

Children

Publications

152

A theoretical basis for stepwise refinement and the programming calculus

Joseph M. Morris · Science of Computer Programming · 1987 · 309 citations

, , +13

The specification statement

Carroll Morgan · ACM Transactions on Programming Languages and Systems · 1988 · 266 citations · Full text

, , +10

A calculus of refinements for program derivations

R. J. R. Back · Acta Informatica · 1988 · 247 citations

, , +11

Refinement types for secure implementations

Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet et al. · ACM Transactions on Programming Languages and Systems · 2011 · 228 citations · Full text

, , +17

Concept learning in description logics using refinement operators

Jens Lehmann, Pascal Hitzler · Machine Learning · 2009 · 191 citations · Full text

, , +12

1–5 of 152

Authors

237

  1. CM
    Carroll Morgan

    Oxford Research Group, United Kingdom

    6 publications · 468 citations

    6

    h-index

  2. AC
    Ana Cavalcanti

    University of York, United Kingdom

    6 publications · 147 citations

    6

    h-index

  3. JW
    Jim Woodcock

    University of York, United Kingdom

    5 publications · 107 citations

    5

    h-index

  4. MB
    Michael Butler

    University of Southampton, United Kingdom

    5 publications · 161 citations

    5

    h-index

  5. IJ
    Ian J. Hayes

    The University of Queensland, Australia

    5 publications · 163 citations

    5

    h-index

1–5 of 237

Institutions

139

  1. University of Oxford

    Oxford, United Kingdom

    9 h-index

    12 publications

    585 citations

  2. Åbo Akademi University

    Turku, Finland

    8 h-index

    11 publications

    491 citations

  3. Oxford Research Group

    London, United Kingdom

    6 h-index

    7 publications

    228 citations

  4. University of Kent

    Canterbury, United Kingdom

    5 h-index

    10 publications

    169 citations

  5. Centre National de la Recherche Scientifique

    Paris, France

    5 h-index

    7 publications

    111 citations

  6. The University of Queensland

    Brisbane, Australia

    5 h-index

    11 publications

    309 citations

  7. Technical University of Munich

    Munich, Germany

    5 h-index

    7 publications

    550 citations

  8. Uppsala University

    Uppsala, Sweden

    4 h-index

    4 publications

    357 citations

1–8 of 139

Venues

  1. Formal Aspects of Computing

    19 publications · 454 citations

    13

    h-index

  2. Theoretical Computer Science

    8 publications · 512 citations

    8

    h-index

  3. Science of Computer Programming

    8 publications · 457 citations

    8

    h-index

  4. Acta Informatica

    6 publications · 365 citations

    6

    h-index

  5. Electronic Notes in Theoretical Computer Science

    ENTCS · 4 publications · 78 citations

    4

    h-index

1–5