JAVA-RAP is a system written in Java, which provides a modern user interface for the native RAP system. It is developed at the Department of Computer Science and Applied Mathematics of Christian-Albrechts-University of Kiel. The native RAP system supports the prototyping of modular algebraic specifications with conditional equations as axioms via term rewriting and conditional narrowing. It has been developed in the years 1984-1986 at Passau University by members of the workgroups of Manfred Broy (now TU Munich) and Martin Wirsing (now LMU Munich); mainly Heinrich Hußmann (now LMU Munich), Rolf Hennicker (now LMU Munich), Ulrich Fraus, and Friederike Nickl. This webpage describes how to get JAVA-RAP and provides documentation for JAVA-RAP and the native RAP system.

Please send any comments, bug reports and wishes for improvement of the system to:

Rudolf Berghammer, e-mail: rub@informatik.uni-kiel.de

Copyright notice

Copyright (C) 2002 Christian-Albrechts-University of Kiel (JAVA-RAP)
Copyright (C) 1986 University of Passau (RAP)

This software is free software; you can redistribute it under the terms of the GNU Lesser General Public License as published by the Free Software Foundation (version 2.1 of the License).

This software is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details.

You can download a copy of the GNU Lesser General Public License; if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA