Dear Anton

Sorry I missed the deadline for abstracts. If it is still possible, I
would like to submit the following.

Regards

Bill

Title: A User's Introduction to the Reversible Virtual Machine.

Abstract: The "Reversible Virtual Machine" (RVM) is a version of Forth
extended to simulate logical reversibility and designed to act as a
target language for compilation. In this paper we present the RVM
programming environment and some example Forth programs.


Title: Implementation Aspects of RVM.

Authors Bill Stoddart and Frank Zeyda

Abstract: RVM is a "native code" Forth extended to simulate logical
reversibility and designed to act as a target language for compilation.
In this paper we describe the implementation of RVM for an i386 Linux
platform. We discuss the virtual machine's interaction with its Unix
environment, the Forth/C interface, meta-compilation to gnu assembler
code, code timing and optimisation, local variables with nested scopes,
the implementation of sets, garbage collection and memory leak
protection.


Title: "Popit": Implementing a Forth like language in C and Scheme as
student project topics for the Computer Science Degree course at the
University of Teesside.

Authors: Robert Lynas, Bill Stoddart, Frank Zeyda.

Abstract: As programming environments and operating systems grow in
complexity, students of Computer Science find it increasingly difficult
to gain a wholistic understanding of the computer systems they study.
"Popit" is a Forth like language designed to be implemented by students
in order to expose them to a complete, though simple, programming system
and virtual machine. The Popit implementation exercise is used in a
group project module in the second year of the course, where it is
implemented in C. In the fourth year of the course it is offered as an
individual project to be implemented in Scheme.