Floyd-Hoare Verifiers "Considered Harmful"

dc.creator	Shrobe, Howard E.
dc.date	2004-10-08T20:37:51Z
dc.date	2004-10-08T20:37:51Z
dc.date	1978-01-01
dc.date.accessioned	2013-10-09T02:46:28Z
dc.date.available	2013-10-09T02:46:28Z
dc.date.issued	2013-10-09
dc.identifier	AIM-456
dc.identifier	http://hdl.handle.net/1721.1/6688
dc.identifier.uri	http://koha.mediu.edu.my:8181/xmlui/handle/1721
dc.description	The Floyd-Hoare methodology completely dominates the field of program verification and has contributed much to our understanding of how programs might be analyzed. Useful but limited verifiers have been developed using Floyd-Hoare techniques. However, it has long been known that it is difficult to handle side effects on shared data structures within the Floyd-Hoare framework. Most examples of successful Floyd-Hoare axioms for assignment to complex data structures, similar statements have been used by London. This paper demonstrates an error in these formalizations and suggests a different style of verification.
dc.format	8997805 bytes
dc.format	6678766 bytes
dc.format	application/postscript
dc.format	application/pdf
dc.language	en_US
dc.relation	AIM-456
dc.title	Floyd-Hoare Verifiers "Considered Harmful"

Files in this item

Files	Size	Format	View
There are no files associated with this item.