Transformational programming: the derivation of a Prolog interpretation algorithm

Authors:
M. Y. Zhu
Affiliations:
Beijing Institute of Systems Engineering, P.O. Box 933-19, Beijing, People's Republic of China
Venue:
ACM SIGPLAN Notices
Year:
1989

Citing 2
Cited 0

AUTO STAR—a software development system

ACM SIGPLAN Notices
Deriving Target Code as a Representation of Continuation Semantics

ACM Transactions on Programming Languages and Systems (TOPLAS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we will present a case study for the transformational programming technique. The problem we intend to study is the construction of an interpreter for the logic programming language Prolog. We will start from a formal algebraic semantic definition of Prolog, through a series of transformations, step by step, reach a compact and efficient implementation written in programming language Ada. The whole development process are carried out with the support of a software development system called AUTO STAR (AUTOmatic Specification To Ada Realization).