ePrints

The Connection between Two Ways of Reasoning about Partial Functions

Lookup NU author(s): Professor John Fitzgerald, Professor Cliff JonesORCiD

Downloads

• Published version [.pdf]

Abstract

This paper addresses the relationship between the theorems derived in two logics that provide alternative ways of reasoning about partial functions. Theorems in the Logic of Partial Functions using weak equality can be directly translated into First Order Predicate Calculus using existential equality. Translation in the other direction is, in general, more complicated but simplifies pleasingly in many cases. Such results are important if formal methods tool integration is to proceed safely.

Publication metadata

Author(s): Fitzgerald JS, Jones CB

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2007

Pages: 8

Print publication date: 01/08/2007

Source Publication Date: August 2007

Report Number: 1044

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1044.pdf

Share