BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
precondit (8)
program (3)
use (2)
condit (2)
orient (1)

Stem weakest$ (all stems)

11 papers:

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.