<%@ page language="java" contentType="text/html" %> <%-- Include common initialisation code --%> <%@ include file="/arch/common.jsp" %> <%-- The current tab --%> <% String currentTab = "Research"; %> <%-- Content of navigation pane --%> <%@ include file="nav.jsp" %> <% showCurrentLink=true; %> <%-- Current navigation location --%> <% String currentNav = "Reports and Theses"; %> <%-- Include the code for the document header --%> <%@ include file="/arch/header.jsp" %>

Research Report CS-RR-228

<%-- Include the code for the lines and navigation --%> <%@ include file="/arch/middle.jsp" %>

S.G. Matthews, The Cycle Contraction Mapping Theorem (August 1, 1992).

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.

<%@ include file="cited.html" %>

S.G. Matthews, "The Cycle Contraction Mapping Theorem", Theoretical Computer Science 151, pp. 195-205 (1995)

<%-- Include the code for the document footer --%> <%@ include file="/arch/footer.jsp" %>