A VDM approach to continuation-based semantics of Prolog
T. K. Shih ; H. C. Keh ; Y. C. Lin
Computing and Informatics, Tome 28 (2012) no. 1, / Harvested from Computing and Informatics
Text on Computing and Informatics
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.
Publié le : 2012-01-26
Classification:  
@article{cai587,
     author = {T. K. Shih and H. C. Keh and Y. C. Lin},
     title = {A VDM approach to continuation-based semantics of Prolog},
     journal = {Computing and Informatics},
     volume = {28},
     number = {1},
     year = {2012},
     language = {en},
     url = {http://dml.mathdoc.fr/item/cai587}
}

T. K. Shih; H. C. Keh; Y. C. Lin. A VDM approach to continuation-based semantics of Prolog. Computing and Informatics, Tome 28 (2012) no. 1, . http://gdmltest.u-ga.fr/item/cai587/