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)
Students in a beginning computer science course were surveyed concerning their attitudes toward computers. Two statistical tests showed results: there were significant differences in attitudes from before until after the course, and between students who passed the course and those who failed or dropped. No correclation was evident between the opinions(More)