Overview of Betis's MS Work

Alexander Betis completed his MS degree in CSE at Penn State in Fall 1999. The title of his thesis is Object Programming, Linear Logic, and Java and it describes a language he called POPEYE, which is a subset of the Lolli a linear logic programming language that translates to Java. Such a translator was written using lambda Prolog.

The text of his MS is available in postscript and pdf.

The source code for his project (written in lambda Prolog and Java) can be found in the source directory. Alex wrote a brief overview of the code in source/README.

There is some related work by Mutsunori Banbara and Naoyuki Tamura. See Prolog Cafe and some abstracts given at an ICLP99 workshop.