Henson, M (1992) CSM-179 - Transformational Derivation in the Programming Logic TK. UNSPECIFIED. CSM-179, University of Essex, Colchester.
Henson, M (1992) CSM-179 - Transformational Derivation in the Programming Logic TK. UNSPECIFIED. CSM-179, University of Essex, Colchester.
Henson, M (1992) CSM-179 - Transformational Derivation in the Programming Logic TK. UNSPECIFIED. CSM-179, University of Essex, Colchester.
Abstract
We examine transformational programming techniques within the programming logic TK. In particular we investigate the transformation technique known as type simulation. The internalisation of this technique within TK is illustrated with respect to a derivation of the ?-?-pruning algorithm from a specification of mini-maxing.
| Item Type: | Monograph (UNSPECIFIED) |
|---|---|
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Divisions: | Faculty of Science and Health Faculty of Science and Health > Computer Science and Electronic Engineering, School of |
| 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:50 |
| Last Modified: | 16 May 2024 17:58 |
| URI: | http://repository.essex.ac.uk/id/eprint/8652 |
Available files
Filename: csm-179.pdf