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
Faculty of Science and Health > Computer Science and Electronic Engineering, School of
SWORD Depositor: Elements
Depositing User: Elements
Date Deposited: 27 Feb 2014 11:50
Last Modified: 15 Jan 2022 01:07
URI: http://repository.essex.ac.uk/id/eprint/8652

Actions (login required)

View Item View Item