Turner, R (2004) CSM-397 - The Foundations of Specification II. UNSPECIFIED. CSM-397, University of Essex, Colchester.
Turner, R (2004) CSM-397 - The Foundations of Specification II. UNSPECIFIED. CSM-397, University of Essex, Colchester.
Turner, R (2004) CSM-397 - The Foundations of Specification II. UNSPECIFIED. CSM-397, University of Essex, Colchester.
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 |
SWORD Depositor: | Unnamed user with email elements@essex.ac.uk |
Depositing User: | Unnamed user with email elements@essex.ac.uk |
Date Deposited: | 27 Feb 2014 11:51 |
Last Modified: | 16 May 2024 18:54 |
URI: | http://repository.essex.ac.uk/id/eprint/8680 |
Available files
Filename: csm-397.PDF