PDF-Hoare Logic15-413: Introduction to Software EngineeringJonathan Aldric
1 n r
How would you argue that this program is correctfloat sumfloatarray int length float sum 00int i 0while i length sum sum arrayii i 1return sum
2
Download Presentation
"Hoare Logic15-413: Introduction to Software EngineeringJonat…" is the property of its rightful owner. Permission is granted to download and print materials on this website for personal, non-commercial use only, provided you retain all copyright notices. By downloading content from our website, you accept the terms of this agreement.
Presentation Transcript
Transcript not available.