Introduction to the Code Examples

This page gives access to code examples related to subjects
covered in COP 4020
at UCF,
as taught by
Gary T. Leavens.
It does not cover concepts, definitions, proofs, and examples of such
that are not embodied in code.

The examples presented here are (generally) not found in the book
(for those, see above), but originate with the course.

For a reference to Oz's syntax and semantics, see Appendix B and Appendix C of the textbook, and the
on-line documentation for Mozart.
In particular The Oz Notation defines the language
and
The Oz Base Environment
defines the built-in procedures and functions available on various types of data. This documentation also ships with the Mozart installation, and so should be accessible directly from your computer if you have Mozart installed.

Another source of information on Oz's semantics is
the Reducer,
which embodies the operational semantics of the declarative model as
explained in chapter 2. It also has several examples of Oz code, some
of which are fairly large examples of following the grammar (as in chapter 3).