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: | 06 Jan 2022 13:37 |
| URI: | http://repository.essex.ac.uk/id/eprint/8680 |
Available files
Filename: csm-397.PDF