DFKI Oz User's Manual

Abstract

DFKI Oz is an interactive implementation of Oz, a high-level programming language designed for concurrent symbolic computation. DFKI Oz features a programming interface based on GNU Emacs, a concurrent browser, an object-oriented interface to Tcl/Tk, powerful interoperability features (sockets, C, C++), an incremental compiler, a garbage collector, and support for stand-alone applications. Performance is competitive with commercial Prolog and Lisp systems. DFKI Oz is available for many platforms running Unix/X, including Sun SPARC systems and 80x86 PCs running Linux. This document describes DFKI Oz from the user's perspective, giving information about the programming environment, efficiency issues, stand-alone applications, the interface to C and C++, and the installation of the system. This User's Manual corresponds to release 1.1 of the DFKI Oz system