Matthews, Stephen G. (1992) The cycle contraction mapping theorem. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Preview

PDF (Department of Computer Science Research Report) WRAP_cs-rr-228.pdf - Other - Requires a PDF viewer. Download (892Kb) | Preview

Request Changes to record.

Abstract

This report lays the foundation for a theory of total correctness for programs not based upon termination. The Cycle Contraction Mapping Theorem is both an extension of Wadge's cycle sum theorem for Kahn data flow and a generalisation of Banach's contraction mapping theorem to a class of quasi metric spaces definable using the symmetric Partial Metric distance function. This work provides considerable evidence that it is possible after all to construct a metric theory for Scott style partial order domains.

Item Type:	Report
Subjects:	Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software
Divisions:	Faculty of Science, Engineering and Medicine > Science > Computer Science
Library of Congress Subject Headings (LCSH):	Computer programs -- Correctness, Banach algebras, Metric spaces
Series Name:	Department of Computer Science research report
Publisher:	University of Warwick. Department of Computer Science
Official Date:	August 1992
Dates:	Date Event August 1992 Completion
Number:	Number 228
Number of Pages:	16
DOI:	CS-RR-228
Institution:	University of Warwick
Theses Department:	Department of Computer Science
Status:	Not Peer Reviewed
Publication Status:	Unpublished
Reuse Statement (publisher, data, author rights):	S.G.&nbsp;Matthews, &ldquo;The Cycle Contraction Mapping Theorem&rdquo;, <i>Theoretical Computer Science</i> <b>151</b>, pp.&nbsp;195-205 (1995)
Related URLs:	Organisation

Request changes or add full text files to a record

Repository staff actions (login required)

View Item

Downloads