CSM-179 - Transformational Derivation in the Programming Logic TK
Martin C. Henson · Open Access at Essex (University of Essex) · 1992
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.