Kenneth Slonneger

Learn More
Reading is a hobby to open the knowledge windows. Besides, it can provide the inspiration and spirit to face this life. By this way, concomitant with the technology development, many companies serve the e-book or book in soft file. The system of this book of course will be much easier. No worry to forget bringing the formal syntax and semantics of(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)
In his article, "A Useful Application of Formal Procedure Parameters" (SIGPLAN Notices, V21 #9, September 1986), Peter van Eijk presents a clever use of procedures as parameters to print the paths from the root of a binary tree to each of its leaves. Unfortunately, he has also illustrated the difficulties engendered from the interaction of procedure(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 denotational semantics more(More)
Students usually find formal methods of describing programming languages very difficult because of the cryptic notation, the complexity of the techniques, and the size of the specifications. The SECD abstract machine provides a small but clear description of the operational semantics of the lambda calculus. By implementing the SECD machine in Prolog, we(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)
The SAMOS computer has an acc~nulator (ACC) and three index registers (RI, R2, R3). A word consists of eleven characters, the first of which must be +,-, or blank, that can represent a fix format instruction, a ten digit integer, or a floating point number with a two digit exponent and a seven digit fraction. An instruction has a three character mnemonic(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)