A Postcondition is a formal assertion in Hoare Logic that specifies the state a program must satisfy upon termination, serving as a correctness criterion by defining the allowable outputs or final conditions relative to the program’s execution from a given precondition.
33
Publications
1.9K
Citations
59
Authors
34
Institutions
Publications per year
2017–2026
5
Publications
33
Compositional dynamic test generation
Patrice Godefroid · ACM SIGPLAN Notices · 2007 · 411 citations
Compositional dynamic test generation
Patrice Godefroid · 2007 · 311 citations
Optimizing database-backed applications with query synthesis
Alvin Cheung, Armando Solar-Lezama, Samuel Madden · 2013 · 117 citations
Contract Soundness for object-oriented languages
Robert Bruce Findler, Matthias Felleisen · 2001 · 106 citations
1–5 of 33
Authors
59
- BH
2
h-index
- SM
2
h-index
- AC
2
h-index
- UW
2
h-index
- MF
2
h-index
1–5 of 59
Institutions
34
Microsoft (United States)
Redmond, United States
2 h-index
2 publications
440 citations
Michigan State University
East Lansing, United States
2 h-index
4 publications
100 citations
Rice University
Houston, United States
2 h-index
4 publications
240 citations
University of Bremen
Bremen, Germany
2 h-index
6 publications
174 citations
Technische Universität Braunschweig
Braunschweig, Germany
2 h-index
2 publications
35 citations
Microsoft Research (United Kingdom)
Cambridge, United Kingdom
2 h-index
2 publications
722 citations
University of Colorado Boulder
Boulder, United States
1 h-index
1 publications
29 citations
University of Duisburg-Essen
Essen, Germany
1 h-index
3 publications
42 citations
1–8 of 34
Venues
- ACM SIGPLAN Notices
4 publications · 480 citations
4
h-index
- Proceedings of the ACM on Programming Languages
PACMPL · 2 publications · 59 citations
2
h-index
- Science of Computer Programming
2 publications · 32 citations
2
h-index
- IEEE Transactions on Software Engineering
TSE · 1 publications · 13 citations
1
h-index
- The Computer Journal
1 publications · 30 citations
1
h-index
1–5