Floyd-Hoare Verifiers "Considered Harmful"

Please use this identifier to cite or link to this item: http://dspace.mediu.edu.my:8181/xmlui/handle/1721.1/6688

Full metadata record

DC Field	Value	Language
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"	-
Appears in Collections:	MIT Items

Files in This Item:

There are no files associated with this item.

DSpace JSPUI