Transformational programming: the derivation of a Prolog interpretation algorithm

Ming-Yuan Zhu. Transformational programming: the derivation of a Prolog interpretation algorithm. SIGPLAN Notices, 24(9):92-111, 1989. [doi]

Abstract

Abstract is missing.