Research Repository

CSM-179 - Transformational Derivation in the Programming Logic TK

Henson, M (1992) CSM-179 - Transformational Derivation in the Programming Logic TK. UNSPECIFIED. CSM-179, University of Essex, Colchester.

[img]
Preview
Text
csm-179.pdf

Download (5MB) | Preview

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 > Computer Science and Electronic Engineering, School of
Depositing User: Julie Poole
Date Deposited: 27 Feb 2014 11:50
Last Modified: 17 Aug 2017 17:54
URI: http://repository.essex.ac.uk/id/eprint/8652

Actions (login required)

View Item View Item