Examen
CMPSC 461: Programming Language Concepts Assignment 6 Solution
- Cours
- Établissement
CMPSC 461: Programming Language Concepts Assignment 6 Solution Problem 1 [8pt] Prove that the following two Hoare triples are valid. (Hint: in predicate logic P1 ⇒ P2 is equivalent to ¬P1 ∨ P2). a) (4pt) {x > −1} y := x * 2; y := y + 3; {y > 0} Solution: wp(y:=x*2;y:=y+3, y &...
[Montrer plus]