Login / Signup

Transformational programming: the derivation of a Prolog interpretation algorithm.

Ming-Yuan Zhu
Published in: ACM SIGPLAN Notices (1989)
Keyphrases