A VDM approach to continuation-based semantics of Prolog

Timothy K. Shih, Huan Chao Keh, Yule Chyun Lin

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'A VDM approach to continuation-based semantics of Prolog'. Together they form a unique fingerprint.

Keyphrases

Computer Science

Engineering