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)
Action semantics provides a methodology for formally specifying programming languages in the spirit of denotational semantics but with techniques that more closely resemble operational concepts of computation. The purpose of this paper is to offer a means of graphically representing the performance of actions in an action semantics specification so that the(More)
Denotational semantics<supscrpt>1,2,3,4</supscrpt> provides a formal method of precisely and concisely specifying languages, programming languages as well as other kinds of software such as editors and file systems. But those attributes that make denotational descriptions so effective also lead programmers and software designers to reject the method as too(More)
  • 1