Predicate Transformers is a formal method in refinement calculus that specifies program semantics by mapping postconditions to weakest preconditions, thereby enabling the systematic derivation of correct programs from specifications.
80
Publications
4.1K
Citations
148
Authors
89
Institutions
Publications per year
2017–2026
11
Parents
Publications
80
Dependent types and multi-monadic effects in F*
Nikhil Swamy, Cătălin Hriţcu, Chantal Keller et al. · 2016 · 292 citations · Full text
Ellie D’Hondt, Prakash Panangaden · Mathematical Structures in Computer Science · 2006 · 156 citations
Computing, Computer Science, Physics +14
1–5 of 80
Authors
148
- DA
6
h-index
- NS
4
h-index
- GP
4
h-index
- CM
3
h-index
- BA
3
h-index
1–5 of 148
Institutions
89
The University of Texas at Austin
Austin, United States
9 h-index
13 publications
391 citations
University of Maryland, College Park
College Park, United States
4 h-index
4 publications
466 citations
Microsoft (United States)
Redmond, United States
4 h-index
14 publications
1.7K citations
Oxford Research Group
London, United Kingdom
4 h-index
6 publications
329 citations
University of Oxford
Oxford, United Kingdom
4 h-index
7 publications
1K citations
Institut national de recherche en sciences et technologies du numérique
Le Chesnay-Rocquencourt, France
3 h-index
12 publications
1.7K citations
Princeton University
Princeton, United States
3 h-index
3 publications
275 citations
University of California, Berkeley
Berkeley, United States
3 h-index
3 publications
145 citations
1–8 of 89
Venues
- Theoretical Computer Science
4 publications · 363 citations
4
h-index
- ACM Transactions on Programming Languages and Systems
4 publications · 445 citations
4
h-index
- Electronic Notes in Theoretical Computer Science
ENTCS · 4 publications · 498 citations
4
h-index
- Information Processing Letters
4 publications · 62 citations
4
h-index
- IEEE Transactions on Software Engineering
TSE · 4 publications · 157 citations
4
h-index
1–5