Refinement Invariants is a formal property in refinement calculus that belongs to the class of correctness-preserving conditions, distinguished by its role in ensuring that every step of a program refinement maintains the intended behavior relative to the original specification.
7
Publications
147
Citations
16
Authors
14
Institutions
Publications per year
2017–2026
2
Parents
Publications
7
Ranjit Jhala, Niki Vazou · Foundations and Trends® in Programming Languages · 2021 · 26 citations · Full text
He Zhu, Aditya V. Nori, Suresh Jagannathan · 2015 · 24 citations
1–5 of 7
Authors
16
- SJ
1
h-index
- HZ
1
h-index
- KS
1
h-index
- BT
1
h-index
- JDJean‐François Dufourd
Laboratoire des Sciences de l'Ingénieur, de l'Informatique et de l'Imagerie, France
1 publications · 13 citations
1
h-index
1–5 of 16
Institutions
14
Microsoft (United States)
Redmond, United States
2 h-index
2 publications
52 citations
Purdue University West Lafayette
West Lafayette, United States
1 h-index
2 publications
48 citations
University of California System
Oakland, United States
1 h-index
1 publications
26 citations
University of California San Diego
San Diego, United States
1 h-index
1 publications
26 citations
Oxford Research Group
London, United Kingdom
1 h-index
1 publications
22 citations
Queen's University
Kingston, Canada
1 h-index
1 publications
24 citations
Laboratoire des Sciences de l'Ingénieur, de l'Informatique et de l'Imagerie
Illkirch-Graffenstaden, France
1 h-index
2 publications
26 citations
University of Oxford
Oxford, United Kingdom
1 h-index
1 publications
22 citations
1–8 of 14
Venues
- Science of Computer Programming
2 publications · 32 citations
2
h-index
- Formal Aspects of Computing
1 publications · 24 citations
1
h-index
- Foundations and Trends® in Programming Languages
1 publications · 26 citations
1
h-index
- The Visual Computer
1 publications · 13 citations
1
h-index
- Proceedings of the ACM on Programming Languages
PACMPL · 1 publications · 28 citations
1
h-index
1–5