Program Derivation is a formal method in computer science that systematically constructs correct programs from specifications through a series of mathematically justified refinement steps.
128
Publications
10.5K
Citations
214
Authors
107
Institutions
Publications per year
2017–2026
0
Parents
Publications
128
C. A. R. Hoare, Ian J. Hayes, He Jifeng et al. · Communications of the ACM · 1987 · 389 citations · Full text
Dynamically discovering likely program invariants to support program evolution
Michael D. Ernst, Jake Cockrell, William G. Griswold et al. · 1999 · 355 citations
1–5 of 128
Authors
214
- RP
3
h-index
- NDNachum Dershowitz
University of Illinois Urbana-Champaign, United States
3 publications · 88 citations
3
h-index
- ZM
3
h-index
- AG
3
h-index
- EW
3
h-index
1–5 of 214
Institutions
107
University of Illinois Urbana-Champaign
Urbana, United States
6 h-index
8 publications
229 citations
University of Oxford
Oxford, United Kingdom
5 h-index
11 publications
2.5K citations
Oxford Research Group
London, United Kingdom
5 h-index
5 publications
254 citations
Stanford University
Stanford, United States
5 h-index
7 publications
875 citations
Cornell University
Ithaca, United States
4 h-index
5 publications
273 citations
Massachusetts Institute of Technology
Cambridge, United States
4 h-index
15 publications
1.7K citations
IBM Research - Thomas J. Watson Research Center
Yorktown Heights, United States
4 h-index
7 publications
413 citations
The University of Texas at Austin
Austin, United States
3 h-index
4 publications
697 citations
1–8 of 107
Venues
- Science of Computer Programming
9 publications · 631 citations
9
h-index
- IEEE Transactions on Software Engineering
TSE · 9 publications · 1.4K citations
9
h-index
- ACM Transactions on Programming Languages and Systems
5 publications · 716 citations
5
h-index
- ACM SIGPLAN Notices
4 publications · 121 citations
4
h-index
- Communications of the ACM
4 publications · 2.7K citations
4
h-index
1–5