Search Results for 'Sprecondition'

Sprecondition published presentations and documents on DocSlides.

DynamicContractCheckingforOCamlATutorialDanaNXuINRIAFrancenaxuinri

by ceila

(*basic.ml*)contractf={x|x�0}-�{r|r&...

Deny-GuaranteeReasoningMikeDodds1,XinyuFeng2,MatthewParkinson1,andVikt

by alida-meadow

aprogram'spreconditionandpostconditionmaydierfrom...