Implementing Denotational Semantics with Logic Programming

Abstract

Denotational specifications of programming languages are translated into Prolog, which provides a mechanism for parsing languages. Denotational semantic functions arc expressed as Prolog relations, providing an executable specification that can be used as a prototyping tool in the study of programming language design. Both direct and continuation semantics are treated.

DOI: 10.1145/131214.131257

6 Figures and Tables

Cite this paper

@inproceedings{Slonneger1992ImplementingDS, title={Implementing Denotational Semantics with Logic Programming}, author={Kenneth Slonneger}, booktitle={ACM Conference on Computer Science}, year={1992} }