Research Repository

CSM-397 - The Foundations of Specification II

Turner, R (2004) CSM-397 - The Foundations of Specification II. UNSPECIFIED. CSM-397, University of Essex, Colchester.

[img]
Preview
Text
csm-397.PDF

Download (185kB) | Preview

Abstract

In the Foundations of Specification I, we developed a Specification Theory (CST) to serve as a vehicle to explore the mathematical foundations of specification. A further aspect of this concerns type inference. In this paper we develop and explore a type inference system for CST and use it to illustrate the foundational issues which arise with such systems.

Item Type: Monograph (UNSPECIFIED)
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Depositing User: Julie Poole
Date Deposited: 27 Feb 2014 11:51
Last Modified: 17 Aug 2018 10:15
URI: http://repository.essex.ac.uk/id/eprint/8680

Actions (login required)

View Item View Item