Kenneth Slonneger

Learn More
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(More)
This paper describes an exercise used in a first-year graduate course, Programming Languages Foundations, which deals with formal methods of speci~ing the semantics of a programming language. By having the students translate semantic equations directly into Prolog clauses thereby constructing an interpreter, this exercise makes deno-tational semantics more(More)
  • 1