11 papers:
FM-2014-SchebenS #calculus #composition #performance #self- Efficient Self-composition for Weakest Precondition Calculi (CS, PHS), pp. 579–594.
VMCAI-2014-LopesM #compilation #optimisation #synthesis- Weakest Precondition Synthesis for Compiler Optimizations (NPL, JM), pp. 203–221.
OOPSLA-2011-MadhavanK #analysis #approximate #null #verification- Null dereference verification via over-approximated weakest pre-conditions analysis (RM, RK), pp. 1033–1052.
TACAS-2009-KuijperP #game studies #safety- Computing Weakest Strategies for Safety Games of Imperfect Information (WK, JvdP), pp. 92–106.
PLDI-2009-ChandraFS #approach #named- Snugglebug: a powerful approach to weakest preconditions (SC, SJF, MS), pp. 363–374.
ICGT-2006-HabelPR #source code- Weakest Preconditions for High-Level Programs (AH, KHP, AR), pp. 445–460.
PASTE-2005-BarnettL #source code- Weakest-precondition of unstructured programs (MB, KRML), pp. 82–87.
FASE-2004-HeG #automation #debugging #using- Automated Debugging Using Path-Based Weakest Preconditions (HH, NG), pp. 267–280.
KR-2000-Lin #on the- On Strongest Necessary and Weakest Sufficient Conditions (FL), pp. 167–175.
- FM-v2-1999-CavalcantiN #object-oriented #refinement #semantics
- A Weakest Precondition Semantics for an Object-Oriented Language of Refinement (AC, DAN), pp. 1439–1459.
- FME-1996-ComuzziH #slicing #using
- Program Slicing Using Weakest Preconditions (JJC, JMH), pp. 557–575.
