Exam (elaborations)
CMPSC 461: Programming Language Concepts Assignment 6 Solution
- Course
- CMPSC 461
- Institution
- Pennsylvania State University - All Campuses
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 &...
[Show more]