A VDM approach to continuation-based semantics of Prolog

Authors

  • T. K. Shih
  • H. C. Keh
  • Y. C. Lin

Abstract

VDM is short for Vienna Development Method which was developed in the early 1960's in the IBM Vienna Laboratory.  VDM was used in language definition and compiler design. It was then extended to include aspects of large project designs. We use VDM as a semantic tool to discuss the continuation semantics of Prolog. A continuation represents the dynamic effect of the remainder of a program. Based on the semantic functions, a metalevel interpreter is constructed showing the result of our work.

Downloads

Download data is not yet available.

Published

2012-03-01

How to Cite

Shih, T. K., Keh, H. C., & Lin, Y. C. (2012). A VDM approach to continuation-based semantics of Prolog. COMPUTING AND INFORMATICS, 18(5), 485–508. Retrieved from https://www.cai.sk/ojs/index.php/cai/article/view/587