Exam (elaborations)
CMPSC 461: Programming Language Concepts Assignment 6 Solution
Rating
Sold
-
Pages
4
Grade
A+
Uploaded on
25-09-2023
Written in
2023/2024
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 > 0) = wp(y:=x*2, wp(y:=y+3, y > 0)) = wp(y:=x*2, y + 3 > 0) = x ∗ 2 + 3 > 0 Moreover, the precondition
Show more
Read less
Institution
Pennsylvania State University - All Campuses
Course
CMPSC 461
Whoops! We can’t load your doc right now. Try again or contact support.
Written for
Document information
- Uploaded on
- September 25, 2023
- Number of pages
- 4
- Written in
- 2023/2024
- Type
- Exam (elaborations)
- Contains
- Questions & answers
Subjects
-
cmpsc 461 programming language concepts assignmen
$7.99
Get access to the full document:
100% satisfaction guarantee
Immediately available after payment
Both online and in PDF
No strings attached
Also available in package deal
Package deal
CMPSC 461 FULL COURSE PACKAGE
9
2023
$ 77.91
More info
