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.
Unfortunately, ACM prohibits us from displaying non-influential references for this paper.
To see the full reference list, please visit http://dl.acm.org/citation.cfm?id=131257.