Mozart/Oz has a lot of documentation. Many documents, papers, lecture notes, etc, and several web pages which list them. And subjects are often discussed in several documents. This page attempts to integrate the documentation, saying "for subject foo, see these n sources".

Many of these links are fragile, and will break if/when the underlying documentation is modified. Though regrettable, this seemed preferable to not including them. When breakage patterns become clear, they can be addressed systemically... if the page proves useful enough to justify the effort. Otherwise this page will slowly rot.

Comments encouraged -- MitchellNCharity - 2004-May-30

A Virtual Manual for Mozart/Oz -- Table of Contents

1. Introduction

2. Basics

3. Data

4. Gump Parsing, Preprocessing, Meta-programming

5. Code

6. Applications

7. Distributed Programming

8. Logic Programming

9. Constraint Programming

10. Development

11. Page development

11.1. Comments and Suggestions

1. Introduction

• What is Mozart/Oz?

• [Introduction] in Doc:tutorial
• Features
  • [Feature Overview] webpage (and [another version])
  • [Summary of Oz features] in Doc:tutorial
• [Questions and Answers about Multi-Paradigm Programming in Oz for Natural Language Processing]

• Sources of information

• http://www.mozart-oz.org/ (homepage)
• http://www.mozart-oz.org/documentation/ (main documentation page)
• http://www.loria.fr/~duchier/Mozart/doc.html (another version)

• Mailinglist archives
  • http://lists.gforge.info.ucl.ac.be/pipermail/mozart-announce/
  • http://lists.gforge.info.ucl.ac.be/pipermail/mozart-users/
  • http://lists.gforge.info.ucl.ac.be/pipermail/mozart-hackers/
  • http://lists.gforge.info.ucl.ac.be/pipermail/mozart-meps/

• http://www.google.com/search?q=site%3Awww.mozart-oz.org

• News
  • http://www.mozart-oz.org/pipermail/mozart-announce/
  • http://www.mozart-oz.org/ (homepage sometimes has news not in news.cgi)
  • http://www.mozart-oz.org/news.cgi

• Documents

• Core documents
  • Overviews
    • http://www.mozart-oz.org/documentation/
    • http://www.mozart-oz.org/documentation/overview.html
    • http://www.loria.fr/~duchier/Mozart/doc.html
    • [A Global Index] Doc:idx
  • Tutorial
    • [Tutorial of Oz] Doc:tutorial
    • [Demo Applications] Doc:demo
  • Language
    • [Base Environment] Doc:base
    • [System Modules] Doc:system
    • [The Oz Notation] Doc:notation
    • [Loops] Doc:loop
  • Development Tools
    • [Shell Utilities] Doc:tools
      • [The Mozart Compiler] Doc:compiler
        • [Frontend Generator (Gump)] Doc:gump (preprocessor)
        • [Limitations] Doc:limitations
      • [Debugger (Ozcar)] Doc:ozcar
      • [Profiler] Doc:profiler
    • IDE
      • [The Oz Programming Interface (OPI)] Doc:opi
      • [Browser] Doc:browser (shows variables)
      • [Inspector] Doc:inspector (explore values)
      • [Oz Explorer - Visual Constraint Programming Support] Doc:explorer (visualize and analyze search trees)
    • Monitoring
      • [System Panel] Doc:panel
      • [Distribution Panel] Doc:dpanel
  • Libraries
    • [Contributed Libraries] Doc:contrib
    • [MOzart Global User Library (MOGUL)] Mogul:/
    • [Standard Library] Doc:mozart-stdlib (nothing but QTk)
    • [Add-ons] Doc:add-ons (nothing but gtk)
    • [Interfacing to C and C++] Doc:foreign
  • Application Programming
    • [Application Programming] Doc:apptut
    • [Open Programming] Doc:op
  • Distributed Programming
    • [Distributed Programming Tutorial] Doc:dstutorial
    • [Distribution Subsystem] Doc:ds_white_paper
  • GUI Programming
    • [Window Programming with Tk] Doc:wp
    • [with QTk] Doc:mozart-stdlib/wp/qtk/html/
  • Constraint Programming
    • [Finite Domain Constraints Tutorial] Doc:fdt
    • [Finite Set Constraints Tutorial] Doc:fst
    • Extending
      • [Constraint Extension Tutorial] Doc:cpitut
      • [Constraint Extensions Reference] Doc:cpiref
  • Installation
    • [System Installation Manual] Doc:install
    • [Changes] Doc:changes
  • Other
    • [Oz Documentation DTD] Doc:ozdoc
    • [How To Read The Documentation] Doc:howtoread

• [printed documentation] (for folks who like paper)

• "Concepts, Techniques, and Models of Computer Programming"
  • The book is regrettably no longer online. :(
  • [Errata]
  • [Supplements]

• [Torbjörn's slides programming_in_oz.pdf]
• [Questions and Answers about Multi-Paradigm Programming in Oz for Natural Language Processing]

• DatalogiII2003:lectures/ Computer Science II - concepts, techniques and models for computer programming
  • [01: Organisation, Overview, Getting Started] in DatalogiII2003:lectures/ (starting page 5)
  • [02: Compound Values, Partial Values, Lists, Pattern Matching, Towards the Model] in DatalogiII2003:lectures/
  • [03: Kernel Language, Computation Model] in DatalogiII2003:lectures/
  • [04: Kernel Language, Computation Model] in DatalogiII2003:lectures/
  • [05: Abstract Machine: Procedures] in DatalogiII2003:lectures/
  • [06: Abstract Machine: Procedures, LCO, Memory] in DatalogiII2003:lectures/
  • [07: Iterative Computations, Accumulators, Higher-Order Programming] in DatalogiII2003:lectures/
  • [08: Higher-Order Programming, Abstract Datatypes] in DatalogiII2003:lectures/
  • [09: Runtime and Memory Efficiency] in DatalogiII2003:lectures/
  • [10: Runtime and Memory Efficiency, Concurrency] in DatalogiII2003:lectures/
  • [11: Concurrency] in DatalogiII2003:lectures/
  • [12: Agents, Message Sending] in DatalogiII2003:lectures/
  • [14: Agents, state] in DatalogiII2003:lectures/
  • [15: Agents, state, questions & answers] in DatalogiII2003:lectures/

• Learning

• Reading code

• The [demos] have online source.
• [A Code Files] in Esslli2000:/

• The Mozart/Oz [CVS] code unfortunately cannot currently be read on the web. But it makes interesting reading once downloaded, in part because some of it's features have not yet been documented.

• Design guidance
  • [Multiple inheritance or Not] in Doc:tutorial
  • [To Function or not to function?] in Doc:tutorial

2. Basics

• Getting started

• [Introduction] in Doc:tutorial

• [Torbjörn's slides programming_in_oz.pdf]

• [Basics] in Doc:tutorial

• [Table of Contents] in Doc:base

• [Introduction] in Doc:base (first paragraph)

• Syntax

• [Infix Notations] in Doc:base

• [The Oz Notation] Doc:notation
  • [Table of Contents] in Doc:notation
  • [Introduction] in Doc:notation

• [Lexical Syntax] in Doc:notation
  • [Character Class Definitions] in Doc:notation
  • [Spaces and Comments] in Doc:notation
  • [Keywords] in Doc:notation
  • [Variables] in Doc:notation
  • [Atoms] in Doc:notation
  • [Labels] in Doc:notation
  • [Integers] in Doc:notation
  • [Floats] in Doc:notation
  • [Strings] in Doc:notation
  • [Characters] in Doc:notation
• [Context-Free Syntax] in Doc:notation
  • [The Base Language] in Doc:notation
  • [Constraint Extensions and Combinators] in Doc:notation
  • [Class Extensions] in Doc:notation
  • [Functor Extensions] in Doc:notation
  • [Operator Associativity and Precedence] in Doc:notation

• Oz is implemented on a core/kernel subset of Oz

• [The Kernel Language] in Doc:tutorial

• [Core Programs] in Doc:notation
  • [The Base Language] in Doc:notation
  • [Class Extensions] in Doc:notation
• [Translation of Oz Programs to Oz Core Programs] in Doc:notation
  • [The Base Language] in Doc:notation
    • [Declarations] in Doc:notation
    • [Grouping] in Doc:notation
    • [Procedure Definitions] in Doc:notation
    • [Applications] in Doc:notation
    • [Boolean and Pattern-Matching Conditionals] in Doc:notation
    • [Locks] in Doc:notation
    • [Threads] in Doc:notation
    • [Exception Handling] in Doc:notation
    • [Exception Raising] in Doc:notation
    • [Equations] in Doc:notation
    • [Operators] in Doc:notation
    • [Records] in Doc:notation
    • [Uniform State] in Doc:notation
    • [Wildcard] in Doc:notation
    • [Named Constants] in Doc:notation
  • [Constraint Extensions and Combinators] in Doc:notation
    • [Operators] in Doc:notation
    • [Failure] in Doc:notation
    • [Combinators] in Doc:notation
  • [Class Extensions] in Doc:notation
    • [Classes] in Doc:notation
    • [Method Names] in Doc:notation
    • [Locks] in Doc:notation
    • [Operators] in Doc:notation
  • [Functor Extensions] in Doc:notation

• [03: Kernel Language, Computation Model] in DatalogiII2003:lectures/
• [04: Kernel Language, Computation Model] in DatalogiII2003:lectures/
• [05: Abstract Machine: Procedures] in DatalogiII2003:lectures/
• [06: Abstract Machine: Procedures, LCO, Memory] in DatalogiII2003:lectures/

3. Data

• Data Types

• [Primary Oz Types] in Doc:tutorial
• [Data Types with Structural Equality] in Doc:tutorial
• [Stateful Data Types] in Doc:tutorial

• slides
  • [01: Organisation, Overview, Getting Started] in DatalogiII2003:lectures/
  • [02: Compound Values, Partial Values, Lists, Pattern Matching, Towards the Model] in DatalogiII2003:lectures/

• Types

• [Type Structure and Description Format] in Doc:base
  • [Type Structure] in Doc:base
    • [Primary Types] in Doc:base
    • [Secondary Types] in Doc:base
  • [Type Description] in Doc:base
    • [Types] in Doc:base
    • [Modes] in Doc:base
    • [Naming Conventions] in Doc:base

• [Constraints-Specific Type Structure and Modes] in Doc:system
  • [Type Structure] in Doc:system
  • [Signatures] in Doc:system
    • [Types] in Doc:system
    • [Modes] in Doc:system
    • [Notational Conventions] in Doc:system

• Values
  • [Values in General] in Doc:base
  • [Comparisons] in Doc:base
  • [Variable Status] in Doc:base
  • [Variable Status] in Doc:base

• Literals
  • [Literals] in Doc:tutorial
  • [Literals] in Doc:base
  • [Literals in General] in Doc:base
  • [Atoms] in Doc:base
  • [Names] in Doc:base
  • [Truth Values] in Doc:base
  • [The Value Unit] in Doc:base

• Numbers
  • [Numbers] in Doc:tutorial
  • [Numbers in General] in Doc:base
  • [Integers] in Doc:base
  • [Floats] in Doc:base

• [Random Integers] in Doc:system

• Records
  • [Records and Tuples] in Doc:tutorial
  • [Operations on records] in Doc:tutorial
  • [Records in General] in Doc:base
  • [Infix Notations] in Doc:base

• Tuples
  • [Records and Tuples] in Doc:tutorial
  • [Tuples] in Doc:base

• Lists
  • [Lists] in Doc:tutorial
  • [Lists] in Doc:base

• Text
  • [Text] in Doc:base
  • [Data Structures] in Doc:op

• Characters
  • [Characters] in Doc:base

• Strings (isa List)
  • [Strings] in Doc:base
  • [Data Structures] in Doc:op
    • [Strings] in Doc:op

• Byte Strings
  • [Byte Strings] in Doc:base

• Virtual Strings
  • [Virtual Strings] in Doc:tutorial
  • [Virtual Strings] in Doc:base
  • [Data Structures] in Doc:op
    • [Virtual Strings] in Doc:op

• [Regular Expressions] in Doc:contrib

• [string manipulations, strip, split, toLower, capitalize etc...] Mogul:/duchier/string.html in Mogul:/packages.html

• [Two modules (one in C, one in pure Oz) for measuring edit distance between two strings] Mogul:/lager/levenshtein.html in Mogul:/packages.html

• Chunks
  • [Chunks] in Doc:tutorial
  • [Chunks] in Doc:base
  • [Chunks in General] in Doc:base
    • [Infix Notations] in Doc:base

• Arrays
  • [Arrays] in Doc:base
  • [Infix Notations] in Doc:base

• Bit sequences
  • Bit Array (mutable, isa Chunk)
    • [Bit Arrays] in Doc:base
  • Bit String (immutable, is not a Chunk?)
    • [Bit Strings] in Doc:base

• Dictionaries
  • [Dictionaries] in Doc:base
  • [Weak Dictionaries] in Doc:base
  • [Infix Notations] in Doc:base

• Ports
  • [Ports] in Doc:tutorial
  • [Ports] in Doc:tutorial
  • [w Implementation of Ports by Cells and Chunks] in Doc:tutorial
  • [Ports] in Doc:base

• Locks (described elsewhere)
• Classes (described elsewhere)
• Objects (described elsewhere)
• Functors (described elsewhere)

• Cells
  • [Cells] in Doc:tutorial
  • [Cells] in Doc:base
  • [Infix Notations] in Doc:base

• Proceedures (described elsewhere)

• [Base environment extension. New data strucutres: stacks, queues, bags. Generators: counters and gensym. URI resolver .Old data structures in object-record-style: dictionaries, arrays. and cells.] Mogul:/niehren/base.html in Mogul:/packages.html

• Working with data

• Pickling
  • [Persistent Values: Pickle] in Doc:system

• [Pickles for Persistent Data Structures] in Doc:apptut
  • [Stateless, Stateful, and Sited Nodes] in Doc:apptut
  • [Loading and Saving Values] in Doc:apptut
  • [Example: The Data Base Revisited] in Doc:apptut
  • [Pickle Compression] in Doc:apptut

• "Managing Data with Mozart" slides
  • [Overview] in SlidesManagingData:/
  • [Pickles for Persistent Data] in SlidesManagingData:/
  • [Pickle Module] in SlidesManagingData:/
  • [Creating Pickles with the Compiler] [2] in SlidesManagingData:/
  • [Loading Pickles from an Application] [2] in SlidesManagingData:/
  • [URIs and the Resolver] in SlidesManagingData:/
  • [Tracing the Resolver] in SlidesManagingData:/
  • [URI and Resources] in SlidesManagingData:/
  • [Using an URI for our Data] in SlidesManagingData:/
  • [Using ozmake] in SlidesManagingData:/
  • [Importing Rather Than Loading] [2] in SlidesManagingData:/
  • [Prepare And Define Sections] in SlidesManagingData:/
  • [String To Value Using The Compiler] in SlidesManagingData:/
  • [Parsing Textual Data Yourself] [2] in SlidesManagingData:/
  • [Parsing Yourself vs Using The Compiler] in SlidesManagingData:/
  • [Pickling Explained] in SlidesManagingData:/
  • [What Language?] in SlidesManagingData:/
  • [Compiling By Hand] in SlidesManagingData:/
  • [Generalized Pickler] [2] in SlidesManagingData:/
  • [Generalized Unpickler] [2] in SlidesManagingData:/
  • [Representing Data With XML] in SlidesManagingData:/
  • [Pickling to XML] in SlidesManagingData:/
  • [Unpickling From XML] [2] [3] in SlidesManagingData:/
  • [Pickling XML Using XSLT] [2] in SlidesManagingData:/
  • [Storing Data in GDBM] in SlidesManagingData:/
  • [Parsing Data With GUMP] [2] in SlidesManagingData:/
  • [GUMP Scanner] in SlidesManagingData:/
  • [GUMP Parser] in SlidesManagingData:/
  • [Using The GUMP Parser] in SlidesManagingData:/

• [Substitutions on recursive data structures.] Mogul:/niehren/assignment.html in Mogul:/packages.html

• [Conversion of Oz values to binaries and back.] Mogul:/niehren/binary.html in Mogul:/packages.html

• ReadingData

• Databases

• [GDBM Database Interface] in Doc:contrib
• [Storing Data in GDBM] in SlidesManagingData:/

• [OzSqlite is an Oz interface to sqlite, a lightweight embeddable sql database engine.] Mogul:/elansary/ozsqlite.html in Mogul:/packages.html

• [OzTclODBC supports the use of comercial DBMS using ODBC interface provided by the tclodbc package developed by Roy Nurmi(http://www.solagem.fi/~rnurmi/tclodbc.html)] Mogul:/mahmoud/oztclodbc.html in Mogul:/packages.html

• [A fault-tolerant global store] Mogul:/mostafa/globalstore.html in Mogul:/packages.html

• XML

• [Representing Data With XML] in SlidesManagingData:/
• [Pickling to XML] in SlidesManagingData:/
• [Unpickling From XML] in SlidesManagingData:/
• [Unpickling From XML] in SlidesManagingData:/
• [Unpickling From XML] in SlidesManagingData:/
• [Pickling XML Using XSLT] in SlidesManagingData:/
• [Pickling XML Using XSLT] in SlidesManagingData:/

• [namespace aware XML parser] Mogul:/duchier/xml/parser.html in Mogul:/packages.html

• [A pure Mozart XML parser] Mogul:/mahmoud/xmlparser.html in Mogul:/packages.html

• [converts XML Document Type Definitions (DTDs) into Oz Parsers (Gump)] Mogul:/mathweb/xmlparser.html in Mogul:/packages.html

• [A SAX-like XML processor using Jame Clark's expat library, and a parser derived from it] Mogul:/duchier/expat.html in Mogul:/packages.html

• [A simple XMLRPC Server] Mogul:/mathweb/xmlrpc.html in Mogul:/packages.html

• Trees, Graphs, Parsers, and Linguistics

• ...

• [Transformations on context free grammars.] Mogul:/niehren/context-free-grammar.html in Mogul:/packages.html

• [graph data structure and basic graph algorithms implemented in C++] Mogul:/smiele/graph.html in Mogul:/packages.html

• [Graph drawing with DaVinci: a professional tool.] Mogul:/niehren/davinci.html in Mogul:/packages.html

• Gump (described elsewhere)

• [Constraint Programming for Natural Language Processing] Esslli2000:/
  • [Table of Contents] in Esslli2000:/
  • [Introduction] in Esslli2000:/
  • [Constraint Satisfaction Problems] in Esslli2000:/
    • [What is a CSP?] in Esslli2000:/
    • [Constraint-based Representation of Assignments] in Esslli2000:/
      • [Basic Constraints] in Esslli2000:/
    • [Improving partial info by constraint propagation] in Esslli2000:/
      • [Non-Basic Constraints] in Esslli2000:/
    • [Searching For Solutions] in Esslli2000:/
      • [Propagation] in Esslli2000:/
      • [Distribution] in Esslli2000:/
  • [Efficient Encodings of Finite Domains] in Esslli2000:/
    • [Finite Domain Constraints] in Esslli2000:/
    • [Simple Example] in Esslli2000:/
    • [Encoding Products of Finite Domains] in Esslli2000:/
      • [Establishing a bijection between tuples and integers] in Esslli2000:/
      • [Implementation] in Esslli2000:/
        • [Features and Attributes] in Esslli2000:/
        • [Init Method] in Esslli2000:/
        • [Encode Method] in Esslli2000:/
        • [Decode Method] in Esslli2000:/
        • [Niceties] in Esslli2000:/
    • [Application to German Agreement] in Esslli2000:/
      • [Lexicon] in Esslli2000:/
    • [Application] in Esslli2000:/
      • [Implementation] in Esslli2000:/
    • [Projections] in Esslli2000:/
      • [Selection Constraint] in Esslli2000:/
      • [Partial Agreement] in Esslli2000:/
      • [Application] in Esslli2000:/
  • [Dominance Constraints] in Esslli2000:/
    • [Descriptions of Trees] in Esslli2000:/
      • [DTree Grammar] in Esslli2000:/
      • [Underspecified Semantic Representation] in Esslli2000:/
    • [Dominance Constraints] in Esslli2000:/
      • [Models of Dominance Constraints] in Esslli2000:/
      • [Solved Forms of Dominance Constraints] in Esslli2000:/
    • [Solving Dominance Constraints] in Esslli2000:/
      • [Well-Formedness Constraints] in Esslli2000:/
        • [Characteristic Set Constraints] in Esslli2000:/
        • [Well-Formedness Clauses] in Esslli2000:/
        • [Disjunctive Propagator] in Esslli2000:/
      • [Problem-Specific Constraints] in Esslli2000:/
      • [Searching for Solved Forms] in Esslli2000:/
    • [Implementation] in Esslli2000:/
      • [MakeNode] in Esslli2000:/
      • [Characteristic Constraints] in Esslli2000:/
      • [Well-Formedness Clauses] in Esslli2000:/
      • [Solver class] in Esslli2000:/
    • [Application] in Esslli2000:/
      • [Implementation] in Esslli2000:/
  • [Dependency Parsing] in Esslli2000:/
    • [Overview] in Esslli2000:/
    • [Formal Presentation] in Esslli2000:/
      • [Dependency Tree] in Esslli2000:/
      • [Well-Formedness Principles] in Esslli2000:/
    • [Improving Lexical Economy] in Esslli2000:/
    • [Constraint Model] in Esslli2000:/
      • [Representation] in Esslli2000:/
        • [Lexical Attributes] in Esslli2000:/
        • [Daughter Sets] in Esslli2000:/
        • [Lexicon] in Esslli2000:/
      • [Lexical Constraints] in Esslli2000:/
      • [Valency Constraints] in Esslli2000:/
      • [Role Constraints] in Esslli2000:/
      • [Treeness Constraints] in Esslli2000:/
      • [Yield and Acyclicity] in Esslli2000:/
      • [Solving the CSP] in Esslli2000:/
    • [Implementation] in Esslli2000:/
      • [Demo Session] in Esslli2000:/
      • [Entry.oz] in Esslli2000:/
        • [Agreement] in Esslli2000:/
        • [Category] in Esslli2000:/
        • [Roles] in Esslli2000:/
        • [Verb Prefixes And Marks] in Esslli2000:/
        • [Encoder of Lexicon Entry] in Esslli2000:/
      • [Lexicon.oz] in Esslli2000:/
        • [Proper Names] in Esslli2000:/
        • [Pronouns] in Esslli2000:/
        • [Common Nouns] in Esslli2000:/
        • [Determiners] in Esslli2000:/
        • [Verbs] in Esslli2000:/
        • [Auxiliaries] in Esslli2000:/
        • [Modals] in Esslli2000:/
        • [Adjectives] in Esslli2000:/
        • [Miscellaneous] in Esslli2000:/
      • [Gamma.oz] in Esslli2000:/
        • [Variables] in Esslli2000:/
        • [Predicates] in Esslli2000:/
      • [Parser.oz] in Esslli2000:/
        • [Variables And Helper Functions] in Esslli2000:/
        • [MakeNode] in Esslli2000:/
        • [ParsePredicate] in Esslli2000:/
      • [DG.oz] in Esslli2000:/
      • [DTreeFrame.oz] in Esslli2000:/
  • [Constraint Programming Bestiary] in Esslli2000:/
    • [Constraint Store] in Esslli2000:/
    • [Constraint Variables] in Esslli2000:/
      • [FD Variables] in Esslli2000:/
      • [FS variables] in Esslli2000:/
    • [Constraints And Propagators] in Esslli2000:/
    • [Encapsulation And Computation Spaces] in Esslli2000:/
    • [Search] in Esslli2000:/
    • [Search Predicates] in Esslli2000:/
    • [Disjunctive Propagator] in Esslli2000:/
    • [Reified Constraints] in Esslli2000:/
    • [Selection Constraints] in Esslli2000:/
      • [Select Package] in Esslli2000:/
      • [FD Selection Constraint] in Esslli2000:/
      • [FS Selection Constraint] in Esslli2000:/
      • [FS Selection Union Constraint] in Esslli2000:/
  • [A Code Files] in Esslli2000:/
    • [A.1 Encode.oz] in Esslli2000:/
    • [A.2 SmallLexicon.oz] in Esslli2000:/
    • [A.3 SmallTest.oz] in Esslli2000:/
    • [A.4 SmallPartial.oz] in Esslli2000:/
    • [A.5 SmallPartialTest.oz] in Esslli2000:/
    • [A.6 Dominance.oz] in Esslli2000:/
    • [A.7 DomDemo.oz] in Esslli2000:/
    • [A.8 Entry.oz] in Esslli2000:/
    • [A.9 Lexicon.oz] in Esslli2000:/
    • [A.10 Gamma.oz] in Esslli2000:/
    • [A.11 Parser.oz] in Esslli2000:/
    • [A.12 DG.oz] in Esslli2000:/
    • [A.13 DTreeFrame.oz] in Esslli2000:/

• ...

• [Decision Trees] Mogul:/tack/DecisionTree.html in Mogul:/packages.html

• [collection: underspecified beta reduction] Mogul:/chorus/beta.html in Mogul:/packages.html
• [The constraint language for data structures (CLLS): data structures and graphical output.] Mogul:/chorus/clls.html in Mogul:/packages.html
• [Some clls constraints.] Mogul:/chorus/clls-examples.html in Mogul:/packages.html
• [A semi decision procedure for CLLS.] Mogul:/chorus/clls-solver-ke.html in Mogul:/packages.html
• [Contains a tester for CLLS solvers.] Mogul:/chorus/clls-solver-test.html in Mogul:/packages.html

• [collection: clls constraint solver] Mogul:/chorus/solver.html in Mogul:/packages.html
• [Underspecified beta reduction.] Mogul:/chorus/usp-beta/jn.html in Mogul:/packages.html

• [A solver for dominance constraints.] Mogul:/chorus/dominance-solver-dd.html in Mogul:/packages.html
• [graph based solver and satisfiability test for normal dominance constraints] Mogul:/chorus/dominance-solver-km-leda.html in Mogul:/packages.html
• [a graph-based solver for normal dominance constraints with set operators] Mogul:/chorus/dominance-solver-sm.html in Mogul:/packages.html
• [graph based solver for the enumeration of all solved forms of a normal dominance constraints] Mogul:/chorus/dominance-solver-st.html in Mogul:/packages.html
• [graph based solver and satisfiability test for normal dominance constraints] Mogul:/chorus/dominance-solver-st-leda.html in Mogul:/packages.html

• [Parser system and graphical user interface for Extensible Dependency Grammar (XDG)] Mogul:/debusmann/xdg.html in Mogul:/packages.html

• [Parser and grammar development environment for Topological Dependency Grammar (TDG)] Mogul:/duchier/coli/dg.html in Mogul:/packages.html

• [graph-based satisfiability test for dominance constraints] Mogul:/duchier/mehlhorn.html in Mogul:/packages.html

• [Natural language modelling with typed unification grammars: parsing and conversion to context-free grammars.] Mogul:/niehren/typed-unif-grammar.html in Mogul:/packages.html
• [Parsing with unification grammars for modelling natural language.] Mogul:/niehren/unif-grammar.html in Mogul:/packages.html

• [A constraint workbench for categorial grammar] Mogul:/kuhlmann/concat.html in Mogul:/packages.html

• [A part-of-speech tagger/noun-phrase chunker] Mogul:/lager/brill-tagger.html in Mogul:/packages.html
• [A Gump-based natural language tokenizer] Mogul:/lager/gump-tokenizer.html in Mogul:/packages.html
• [A Porter stemmer written in C and linked into Oz] Mogul:/lager/porter-stemmer.html in Mogul:/packages.html
• [A simple sentence splitter] Mogul:/lager/sentence-splitter.html in Mogul:/packages.html
• [A simple tokenizer for natural language] Mogul:/lager/simple-tokenizer.html in Mogul:/packages.html
• [An N-gram-based text categorizer/language recognizer] Mogul:/lager/text-categorizer.html in Mogul:/packages.html

4. Gump Parsing, Preprocessing, Meta-programming

• Gump

• [Gump - A Front-End Generator for Oz] Doc:gump
  • [Introduction] in Doc:gump
    • [Overview] in Doc:gump
  • [The Gump Scanner Generator] in Doc:gump
    • [Example] in Doc:gump
      • [Writing a Scanner Specification] in Doc:gump
      • [Invoking Gump] in Doc:gump
      • [Using the Generated Scanner] in Doc:gump
    • [Reference] in Doc:gump
      • [Syntax of the Scanner Specification Language] in Doc:gump
        • [Syntax of Regular Expressions] in Doc:gump
        • [Ambiguities and Errors in the Rule Set] in Doc:gump
      • [Parameters to Scanner Generation] in Doc:gump
      • [The Mixin Class GumpScanner.'class'] in Doc:gump
  • [The Gump Parser Generator] in Doc:gump
    • [Example] in Doc:gump
      • [Writing a Parser Specification] in Doc:gump
      • [Invoking Gump] in Doc:gump
      • [Using the Generated Parser] in Doc:gump
    • [Reference] in Doc:gump
      • [Syntax of the Parser Specification Language] in Doc:gump
        • [Token Declarations] in Doc:gump
        • [Syntax Rules] in Doc:gump
        • [Definition of Production Templates] in Doc:gump
        • [Expansion of Production Templates] in Doc:gump
        • [Predefined Production Templates] in Doc:gump
        • [Assignment of Attribute Types] in Doc:gump
      • [Parameters to Parser Generation] in Doc:gump
      • [The Mixin Class GumpParser.'class'] in Doc:gump
  • [A The Used Notation] in Doc:gump
    • [A.1 Elements from the Oz Syntax] in Doc:gump

• [Parsing Data With GUMP] in SlidesManagingData:/
• [Parsing Data With GUMP] in SlidesManagingData:/
• [GUMP Scanner] in SlidesManagingData:/
• [GUMP Parser] in SlidesManagingData:/
• [Using The GUMP Parser] in SlidesManagingData:/

• Preprocessing

• [Directives] in Doc:compiler
  • [Compiler Directives] in Doc:compiler
  • [Macro Directives] in Doc:compiler

• See also Gump (described elsewhere)

• Meta-programming

• [Meta-programming in Oz] in MozartUsers:2000/thread.html#251

• See also Gump (discribed elsewhere)

• using Compiler
  • [Application Programmer's Interface] in Doc:compiler
    • [Additional Secondary Types] in Doc:compiler
    • [The Compiler Module] in Doc:compiler
    • [Compiler Engines] in Doc:compiler
      • [Methods of the Compiler.engine Class] in Doc:compiler
      • [Queries] in Doc:compiler
    • [Compiler Interfaces] in Doc:compiler
      • [Sent Notifications] in Doc:compiler
      • [The Compiler.interface Class] in Doc:compiler
    • [Examples] in Doc:compiler
      • [Inspecting the Parse Tree] in Doc:compiler
      • [A Look into the Provided Abstractions] in Doc:compiler

5. Code

• General

• [05: Abstract Machine: Procedures] in DatalogiII2003:lectures/
• [06: Abstract Machine: Procedures, LCO, Memory] in DatalogiII2003:lectures/
• [07: Iterative Computations, Accumulators, Higher-Order Programming] in DatalogiII2003:lectures/
• [08: Higher-Order Programming, Abstract Datatypes] in DatalogiII2003:lectures/
• [09: Runtime and Memory Efficiency] in DatalogiII2003:lectures/
• [10: Runtime and Memory Efficiency, Concurrency] in DatalogiII2003:lectures/

• Control Flow

• [Control (definition)] in Doc:base
• [Basic Control Structures] in Doc:tutorial
• [General] in Doc:base

• [Equality and the Equality Test Operator] in Doc:tutorial
• [Pattern Matching] in Doc:tutorial

• if
  • [If Statement] in Doc:tutorial

• case
  • [Pattern Matching] in Doc:tutorial

• Control Abstractions
  • [Control Abstractions] in Doc:tutorial

• Functions and Procedures

• [Procedural Abstraction] in Doc:tutorial
• [Anonymous Procedures and Variable Initialization] in Doc:tutorial
• [Nesting] in Doc:tutorial
  • [Functional Nesting] in Doc:tutorial
• [Procedures as Values] in Doc:tutorial
• [Functions] in Doc:tutorial
• [Procedures] in Doc:base

• [To Function or not to function?] in Doc:tutorial

• Exceptions

• [Exception Handling] in Doc:tutorial
• [System Exceptions] in Doc:tutorial
• [Exceptions] in Doc:base

• [Exceptions] in Doc:system

• Error handlers
  • [Error Formatting: Error] in Doc:system
    • [Data Structures] in Doc:system
    • [The Error Registry] in Doc:system
    • [Example Error Formatter] in Doc:system
    • [The Module] in Doc:system
  • [System Error Formatters: ErrorFormatters] in Doc:system

• [Printing Errors: errors] in Doc:system

• [Alternative error handling.] Mogul:/niehren/error.html in Mogul:/packages.html

• Loops

• [Loops] in Doc:base

• [Loop Support] Doc:loop
  • [Official Loop Notation] in Doc:loop
    • [Iterators] in Doc:loop
    • [Features] in Doc:loop
  • [Experimental Extensions] in Doc:loop
    • [While and Until] in Doc:loop
    • [Find And Return a Value] in Doc:loop
    • [List Accumulator] in Doc:loop
    • [Integer Accumulator] in Doc:loop
      • [Computing an Extremum] in Doc:loop
      • [Summing Values] in Doc:loop
      • [Multiplying Values] in Doc:loop
    • [Generators] in Doc:loop

• Scope (variables) and Naming

• [On Lexical Scoping] in Doc:tutorial
• Dynamically scoped variables are on the todo list. MozartHackers:2003/000709.html

• [Naming Conventions] in Doc:base

• [Introduction] in Doc:base (first paragraph)

• [Global naming] in Doc:dstutorial

• Modules and Interfaces

• [Modules and Interfaces] in Doc:tutorial
• [Classes as Modules] in Doc:tutorial

• [Module Managers: Module] in Doc:system
  • [Basics] in Doc:system
  • [Module Names and URLs] in Doc:system
  • [The Class Module.manager] in Doc:system
  • [Predefined Abstractions] in Doc:system

• [Module Managers] in Doc:apptut
  • [Overview] in Doc:apptut
  • [Lazy Linking] in Doc:apptut
  • [Import Specifications] in Doc:apptut
  • [Url Resolution] in Doc:apptut
  • [User-defined Module Managers] in Doc:apptut
  • [Functors in the Oz Programming Environment] in Doc:apptut

• [Import Specifications] in Doc:apptut (list of system modules)

• Functors

• [Functors] in Doc:base
• [Chunks in General] in Doc:base

• [Application Development] in Doc:apptut
  • [Functors for Modular Applications] in Doc:apptut
  • [Example: Last Minute Flights] in Doc:apptut
  • [The Data Base] in Doc:apptut
  • [The Graphical Input Form] in Doc:apptut
  • [The Root Functor] in Doc:apptut
  • [Compilation] in Doc:apptut
  • [Execution] in Doc:apptut

• [More On Functors] in Doc:apptut
  • [Computed Functors] in Doc:apptut
  • [Imports] in Doc:apptut

• Objects

• [Objects] in Doc:tutorial
• [Classes] in Doc:tutorial
• [Classes and Objects] in Doc:tutorial
  • [... from First Principles] in Doc:tutorial
  • [Inheritance] in Doc:tutorial
  • [Features] in Doc:tutorial
    • [Feature initialization] in Doc:tutorial
  • [Parameterized Classes] in Doc:tutorial
  • [Self Application] in Doc:tutorial
  • [Attributes] in Doc:tutorial
  • [Private and Protected Methods] in Doc:tutorial
  • [Default Argument Values] in Doc:tutorial
  • [Static Method Calls] in Doc:tutorial
  • [Classes as Modules] in Doc:tutorial

• [Multiple inheritance or Not] in Doc:tutorial

• [Classes] in Doc:base
• [Objects] in Doc:base
• [The BaseObject Class] in Doc:base
• [Chunks in General] in Doc:base

• [Support Classes for Objects: ObjectSupport] in Doc:system
  • [Classes for Master/Slave Behaviour] in Doc:system
  • [Reflecting Objects] in Doc:system

• Objects and Concurrency

• [Objects and Concurrency] in Doc:tutorial
  • [Atomic Exchange on Object Attributes] in Doc:tutorial
  • [Active Objects] in Doc:tutorial
  • [Locking Objects] in Doc:tutorial

• [12: Agents, Message Sending] in DatalogiII2003:lectures/
• [14: Agents, state] in DatalogiII2003:lectures/
• [15: Agents, state, questions & answers] in DatalogiII2003:lectures/

• Concurrency

• [Concurrency] in Doc:tutorial
• [Thread Termination-Detection] in Doc:tutorial
• [Client-Server Communication] in Doc:tutorial

• [Threads] in Doc:base

• [Programming With Concurrency] in Doc:apptut
  • [Concurrency For Free] in Doc:apptut
    • [Death by Concurrency in Oz] in Doc:apptut
    • [Death by Concurrency in Java] in Doc:apptut
  • [Programming Patterns] in Doc:apptut
    • [Stream Processing Agents] in Doc:apptut
      • [Stream Merging] in Doc:apptut
    • [Communication Patterns] in Doc:apptut
      • [Email Model] in Doc:apptut
      • [Newsgroup Model] in Doc:apptut
        • [Forward Inference Engine: Implementation] in Doc:apptut
        • [Forward Inference Engine: Usage] in Doc:apptut
    • [Synchronization] in Doc:apptut
      • [The Short-Circuit Technique] in Doc:apptut

• [10: Runtime and Memory Efficiency, Concurrency] in DatalogiII2003:lectures/ (slides, begins on page 5)
• [11: Concurrency] in DatalogiII2003:lectures/ (slides)

• Locks

• [Reentrant locks] in Doc:tutorial

• [Thread-Reentrant Locks] in Doc:tutorial
• [Locks] in Doc:tutorial
• [Arrays (locking of)] in Doc:tutorial

• [Locks] in Doc:base

• [Chunks in General] in Doc:base

• [Concurrent FIFO Channel (example of locks)] in Doc:tutorial
• [Monitors (example of locks)] in Doc:tutorial

• Streams
  • [Stream Communication] in Doc:tutorial

• Futures
  • [Futures] in Doc:tutorial
  • [Demand-driven Execution] in Doc:tutorial

• Thread priority and scheduling

• Time - soft realtime
  • [Time] in Doc:tutorial
  • [Time] in Doc:base
  • [The Repeater Class] in Doc:base

• [Thread Priority and Real Time] in Doc:tutorial
• [Demand-driven Execution] in Doc:tutorial

• ozengine properties
  • [Thread Priorities: priorities] in Doc:system
  • [Computation Spaces: spaces] in Doc:system
  • [Threads: threads] in Doc:system
  • [Time Usage: time] in Doc:system

• Cookbook
  • [Bounded Buffers Oz Style] in Doc:tutorial

• and Objects -- see Objects and Concurrency

• [Miscellaneous] in Doc:system (nbSusps)

6. Applications

• Applications

• ...

• [Getting Started] in Doc:apptut
  • [Our First Application: Webget.oza] in Doc:apptut
  • [What to do?] in Doc:apptut
  • [Functor Definition: Webget.oza] in Doc:apptut
  • [Compilation] in Doc:apptut
  • [Execution] in Doc:apptut

• [Application Development] in Doc:apptut
  • [Functors for Modular Applications] in Doc:apptut
  • [Example: Last Minute Flights] in Doc:apptut
  • [The Data Base] in Doc:apptut
  • [The Graphical Input Form] in Doc:apptut
  • [The Root Functor] in Doc:apptut
  • [Compilation] in Doc:apptut
  • [Execution] in Doc:apptut

• [Module Managers] in Doc:apptut
  • [Overview] in Doc:apptut
  • [Lazy Linking] in Doc:apptut
  • [Import Specifications] in Doc:apptut
  • [Url Resolution] in Doc:apptut
  • [User-defined Module Managers] in Doc:apptut
  • [Functors in the Oz Programming Environment] in Doc:apptut

• [Import Specifications] in Doc:apptut (list of system modules)

• Command-line and CGI Arguments

• [Application Support: Application] in Doc:system
  • [The Application Module] in Doc:system
  • [Parsing Conventions] in Doc:system
    • [Parsing of CGI Arguments] in Doc:system
    • [Parsing of Command Lines] in Doc:system
  • [Option Specifications] in Doc:system
    • [Plain] in Doc:system
    • [List] in Doc:system
    • [Record] in Doc:system

• [Flexible initialization of application parameters] Mogul:/duchier/config.html in Mogul:/packages.html

• [Environment Variables] in Doc:system

• ozengine properties
  • [Application Support: application] in Doc:system

• [A Mozart Shell] Mogul:/mathweb/mosh.html in Mogul:/packages.html

• I/O

• [Open Programming in Mozart] Doc:op
  • [Table of Contents] in Doc:op
  • [Introduction] in Doc:op
    • [Local Computation Spaces] in Doc:op
    • [Conventions] in Doc:op
    • [The Examples] in Doc:op
  • [Data Structures] in Doc:op
    • [Strings] in Doc:op
    • [Virtual Strings] in Doc:op
  • [Files] in Doc:op
    • [Basic Patterns of Use] in Doc:op
      • [Reading a File] in Doc:op
      • [Closing a File] in Doc:op
      • [Writing a File] in Doc:op
      • [Exceptions] in Doc:op
    • [Example: Expanding TAB Characters] in Doc:op
  • [Input and Output of Text] in Doc:op
    • [Expanding TAB Characters Revisited] in Doc:op
  • [Sockets] in Doc:op
    • [Sockets in a Nutshell] in Doc:op
      • [Domain] in Doc:op
      • [Type] in Doc:op
      • [Protocol] in Doc:op
    • [Stream Sockets] in Doc:op
      • [Initiating a Connection] in Doc:op
      • [Convenient Connection Establishment] in Doc:op
      • [Exchanging Data] in Doc:op
      • [Concurrency Issues] in Doc:op
      • [Disconnecting] in Doc:op
      • [Exceptions] in Doc:op
    • [Accepting Multiple Connections] in Doc:op
    • [Datagram Sockets] in Doc:op
      • [Initialization] in Doc:op
      • [Exchanging Data] in Doc:op
      • [Peer] in Doc:op
    • [Example: Are We Working Right Now?] in Doc:op
  • [Running Processes] in Doc:op
    • [Example: A Shell in Oz] in Doc:op

• [Printing] in Doc:system

• [Files, Sockets, and Pipes: Open] in Doc:system
  • [Exceptions] in Doc:system
  • [The Class Open.file] in Doc:system
  • [The Class Open.socket] in Doc:system
  • [The Class Open.pipe] in Doc:system
  • [The Class Open.text] in Doc:system

• Sockets
  • [Sockets] in Doc:system
  • [Sockets] in Doc:system

• [Basic Input and Output] in Doc:system
  • [From Blocking to Suspension] in Doc:system

• Files and Directories
  • [Files] in Doc:system
  • [Directories] in Doc:system
  • [Path -- an abstraction for files and directories and operations on them] Mogul:/duchier/path.html in Mogul:/packages.html

• OS module error handling -- [Operating System Support: OS] [Conventions] and [Exceptions] in Doc:system

• ozengine properties
  • [Printing Errors: errors] in Doc:system
  • [Printing Messages: messages] in Doc:system
  • [Printing Values: print] in Doc:system

• [a variant of Open.html for use with objects] Mogul:/mathweb/html.html in Mogul:/packages.html

• [a class for reading data from an arbitrary sequence of heterogenous sources such as files, urls, strings and virtual strings.] Mogul:/duchier/inputsource.html in Mogul:/packages.html

• [Configurable output devices] Mogul:/niehren/output.html in Mogul:/packages.html

• [Conversion of Oz values to binaries and back.] Mogul:/niehren/binary.html in Mogul:/packages.html

• [Graph drawing with DaVinci: a professional tool.] Mogul:/niehren/davinci.html in Mogul:/packages.html

• System

• [Environment Variables] in Doc:system

• [Time] in Doc:system (time(2), gmtime(3), localtime(3))

• Running external processes
  • [Running Processes] in Doc:op
    • [Example: A Shell in Oz] in Doc:op
  • [Process Control] in Doc:system
  • [External processes and how to connect them to Mozart.] Mogul:/niehren/external-process.html in Mogul:/packages.html
  • [Execute shell commands with return-values within Oz. A short-paths converter for Windows is made available this way.] Mogul:/niehren/shell.html in Mogul:/packages.html
  • [Miscellaneous] in Doc:system (system(3))

• [Import Specifications] in Doc:apptut (list of system modules)

• [Miscellaneous] in Doc:system (uname(2) os information)

• OS module error handling -- [Operating System Support: OS] [Conventions] and [Exceptions] in Doc:system

• Memory and GC

• [Memory Management: Finalize] in Doc:system
• [Garbage Collection: gc] in Doc:system
• [Memory Usage: memory] in Doc:system

• [System Control] in Doc:system (gcDo)

• [09: Runtime and Memory Efficiency] in DatalogiII2003:lectures/
• [10: Runtime and Memory Efficiency, Concurrency] in DatalogiII2003:lectures/

• Oz Engine

• ozengine properties

• [Emulator Properties: Property] in Doc:system
• [Engine Properties] in Doc:system
• [Application Support: application] in Doc:system
• [Distribution: dp] in Doc:system
• [Logging of distributed events: dpLog] in Doc:system
• [Printing Errors: errors] in Doc:system
• [Finite Domains: fd] in Doc:system
• [Garbage Collection: gc] in Doc:system
• [Implementation Limits: limits] in Doc:system
• [Marshaler: marshaler] in Doc:system
• [Memory Usage: memory] in Doc:system
• [Printing Messages: messages] in Doc:system
• [Platform Information: platform] in Doc:system
• [Printing Values: print] in Doc:system
• [Thread Priorities: priorities] in Doc:system
• [Computation Spaces: spaces] in Doc:system
• [Threads: threads] in Doc:system
• [Time Usage: time] in Doc:system
• [The Programming Interface] in Doc:system

• Limits

• [Mozart System Limitations] Doc:limitations
• [Implementation Limits: limits] in Doc:system

• Graphical User Interface (GUI) programming

• Tk
  • [Window Programming in Mozart] Doc:wp
  • [The Module Tk] in Doc:system
  • [Graphical Tools: TkTools] in Doc:system

• [Mozart Demo Applications ToC] in Doc:demo (example code)

• QTk
  • [QTk - Graphical User Interface Design for Oz] [Doc:mozart-stdlib/wp/qtk/...]
  • [the release candidate of the next version of QTk...] Mogul:/grolaux/qtk.html in Mogul:/packages.html

• [A high-level, but rather simplistic GUI] Mogul:/koller/simplegui.html in Mogul:/packages.html

• [The Mozart GTK+ Binding] Doc:add-ons/gtk/

• Also, a web browswer can be used as a GUI. See Web (described elsewhere).

• [graphical display of word-DAGs (syntax trees, thematic role DAGs, ...)] Mogul:/duchier/coli/tkdag.html in Mogul:/packages.html
• [A tree widget for use on Tk or QTk canvases] Mogul:/grolaux/tree.html in Mogul:/packages.html
• [A tree drawing widget for Tk] Mogul:/tack/TkTreeWidget.html in Mogul:/packages.html

• [Dynamic forest of Oz values with graphical interface.] Mogul:/chorus/dynamic-tree-graphics.html in Mogul:/packages.html

• [A hypertext widget with parsing facilities and support for creating help windows.] Mogul:/grolaux/help.html in Mogul:/packages.html

• [IOzSeF - The Integrated Oz Search Factory] Mogul:/tack/iozsef.html in Mogul:/packages.html

• Web

• [Programming the Web] in Doc:apptut
  • [Applets] in Doc:apptut
  • [Servlets] in Doc:apptut

• [Control your webbrowser from Mozart] Mogul:/franzen/browsercontrol.html in Mogul:/packages.html

• [HTTP client with rate computation, transfer flow control, ...] Mogul:/mesaros/httpclient.html in Mogul:/packages.html
• [A Simple HTTP Server] Mogul:/mathweb/httpd.html in Mogul:/packages.html

• [Enabling Oz Applets] in Doc:install
  • [Mozart Demo Applications] Doc:demo (uses applets)

• [A functor that provides the Encode function. This function returns a base64 encoded stream from the stream it receives as parameter.] Mogul:/grolaux/base64.html in Mogul:/packages.html

7. Distributed Programming

• Distributed Programming

• [Distributed Programming in Mozart - A Tutorial Introduction] Doc:dstutorial
  • [Introduction] in Doc:dstutorial
  • [Distribution Model] in Doc:dstutorial
    • [Language entities] in Doc:dstutorial
      • [Objects] in Doc:dstutorial
      • [Other stateful entities] in Doc:dstutorial
      • [Single-assignment entities] in Doc:dstutorial
      • [Stateless entities] in Doc:dstutorial
      • [Sited entities] in Doc:dstutorial
    • [Sites] in Doc:dstutorial
      • [Controlled system shutdown] in Doc:dstutorial
      • [Distributed memory management] in Doc:dstutorial
    • [Bringing it all together] in Doc:dstutorial
  • [Basic Operations and Examples] in Doc:dstutorial
    • [Global naming] in Doc:dstutorial
      • [Connecting applications by means of tickets] in Doc:dstutorial
      • [Persistent data structures by means of pickles] in Doc:dstutorial
      • [Remote computations and functors] in Doc:dstutorial
    • [Servers] in Doc:dstutorial
      • [The hello server] in Doc:dstutorial
      • [The hello server with stationary objects] in Doc:dstutorial
      • [Making stationary objects] in Doc:dstutorial
      • [A compute server] in Doc:dstutorial
      • [A compute server with functors] in Doc:dstutorial
      • [A dynamically-extensible server] in Doc:dstutorial
    • [Practical tips] in Doc:dstutorial
      • [Timing and memory problems] in Doc:dstutorial
      • [Avoiding sending useless data] in Doc:dstutorial
      • [Avoiding sending classes] in Doc:dstutorial
  • [Failure Model] in Doc:dstutorial
    • [Fault states] in Doc:dstutorial
      • [Temporary faults] in Doc:dstutorial
      • [Remote problems] in Doc:dstutorial
    • [Basic model] in Doc:dstutorial
      • [Enabling exceptions on faults] in Doc:dstutorial
      • [Binding logic variables] in Doc:dstutorial
      • [Exception formats] in Doc:dstutorial
      • [Levels of fault detection] in Doc:dstutorial
      • [Levels and sitedness] in Doc:dstutorial
    • [Advanced model] in Doc:dstutorial
      • [Lazy detection with handlers] in Doc:dstutorial
      • [Eager detection with watchers] in Doc:dstutorial
    • [Fault states for language entities] in Doc:dstutorial
      • [Eager stateless data] in Doc:dstutorial
      • [Sited entities] in Doc:dstutorial
      • [Ports] in Doc:dstutorial
      • [Logic variables] in Doc:dstutorial
      • [Cells and locks] in Doc:dstutorial
      • [Objects] in Doc:dstutorial
  • [Limitations and Modifications] in Doc:dstutorial
    • [Performance limitations] in Doc:dstutorial
    • [Functionality limitations] in Doc:dstutorial
    • [Modifications] in Doc:dstutorial

• [The Distribution Subsystem] Doc:ds_white_paper
  • [Introduction] in Doc:ds_white_paper
    • [Layered Design] in Doc:ds_white_paper
    • [Outline] in Doc:ds_white_paper
  • [Connection Establishment] in Doc:ds_white_paper
    • [Bootstrapping a Connection] in Doc:ds_white_paper
    • [Dynamic Connection Establishment through Connect-Accept-Pairs] in Doc:ds_white_paper
    • [Automatic Connection Opening and Closing] in Doc:ds_white_paper
  • [Entities and Protocols - a Background] in Doc:ds_white_paper
    • [Distribution of References] in Doc:ds_white_paper
    • [Consistency Protocols] in Doc:ds_white_paper
    • [Distribution of Mozart Entities] in Doc:ds_white_paper
    • [Distributed Memory Management] in Doc:ds_white_paper
  • [Efficient Implementation] in Doc:ds_white_paper
    • [Throughput] in Doc:ds_white_paper
    • [Resource Usage] in Doc:ds_white_paper
    • [Zero Impact Implementation of the Distribution Subsystem] in Doc:ds_white_paper
  • [Failure] in Doc:ds_white_paper
    • [Handling Faults from Mozart] in Doc:ds_white_paper
    • [Fault Detection] in Doc:ds_white_paper
      • [Permanent Fault] in Doc:ds_white_paper
      • [Temporary Faults] in Doc:ds_white_paper
    • [Fault Tolerance] in Doc:ds_white_paper
    • [Perm and Temp on the Internet] in Doc:ds_white_paper
  • [Monitoring Tools] in Doc:ds_white_paper
    • [The Distribution Panel] in Doc:ds_white_paper
    • [The Oz Message Tracer] in Doc:ds_white_paper
    • [The Mozart Distribution-Subsystem Simulator] in Doc:ds_white_paper
  • [Interfaces] in Doc:ds_white_paper

• [Distributed Programming] in Doc:system
  • [Connecting Computations: Connection] in Doc:system
    • [One-to-one Connections] in Doc:system
    • [Many-to-one Connections] in Doc:system
  • [Spawning Computations Remotely: Remote] in Doc:system
    • [Process Termination and Remote Managers] in Doc:system
  • [Referring To Distributed Entities: URL] in Doc:system
    • [Examples] in Doc:system
    • [Interface] in Doc:system
  • [Resolving URLs: Resolve] in Doc:system
    • [From search paths to search methods] in Doc:system
    • [Syntax of methods] in Doc:system
    • [Interface of Resolve Module] in Doc:system
    • [Interface of a Resolver] in Doc:system
  • [Detecting and Handling Distribution Problems: Fault] in Doc:system
    • [Argument Types] in Doc:system
    • [Fault Information] in Doc:system
    • [Operations] in Doc:system
    • [Limitations and Modifications] in Doc:system
    • [Limitations] in Doc:system
    • [Modifications] in Doc:system
  • [Locating services in a network: Discovery] in Doc:system
    • [The Module] in Doc:system
  • [Initializing and instrumenting the distribution layer: DPInit] in Doc:system
    • [Interface of DPInit Module] in Doc:system
  • [Retriving statistical information from the Distribution layer: DPStatistics] in Doc:system
    • [Interface of DPStatistics Module] in Doc:system

• [Distributed Applications] in Doc:apptut
  • [Chat Application] in Doc:apptut
    • [Chat Server] in Doc:apptut
    • [Chat Client] in Doc:apptut
    • [Graphical User Interface] in Doc:apptut

• [Client/Server Applications] in Doc:apptut
  • [Introduction] in Doc:apptut
    • [A Generic Server server.oz] in Doc:apptut
  • [Registry Application] in Doc:apptut
    • [Server db-server.oz] in Doc:apptut
    • [Client db-client.oz] in Doc:apptut
  • [Compile Server Application] in Doc:apptut
    • [Server ozc-server.oz] in Doc:apptut
    • [Client ozc-client.oz] in Doc:apptut

• [An Example of a Server Directory] in Doc:contrib
  • [The ExampleDirectory Module] in Doc:contrib

• [P2P library offering primitives and services for P2P applications.] Mogul:/cetic_ucl/p2ps.html in Mogul:/packages.html

• [The Session module provides a bidirectional communication channel. Session instances can be successively connected together. Also session instances provide network state streams for easy fault management.] Mogul:/grolaux/session.html in Mogul:/packages.html

• [An abstraction to connect Mozart processes through standard sockets instead of Oz tickets.] Mogul:/grolaux/sockets.html in Mogul:/packages.html

• [A tool for viewing logs from distributed Mozart] Mogul:/klintskog/ozmessagetrace.html in Mogul:/packages.html

• [A tool for making open, robust, distributed, concurrent client/server applications.] Mogul:/vanroy/clientserver.html in Mogul:/packages.html

• [A graphical simulator of nodes passing messages] Mogul:/neiderud/message-simulator.html in Mogul:/packages.html

• [A Mozart Shell] Mogul:/mathweb/mosh.html in Mogul:/packages.html

• [A fault-tolerant global store] Mogul:/mostafa/globalstore.html in Mogul:/packages.html

• ozengine properties
  • [Distribution: dp] in Doc:system
  • [Logging of distributed events: dpLog] in Doc:system

8. Logic Programming

• Logic Programming

• [Logic Programming] in Doc:tutorial
  • [Constraint Stores] in Doc:tutorial
  • [Computation Spaces] in Doc:tutorial
  • [Constraint Entailment and Disentailment] in Doc:tutorial
  • [Disjunctions] in Doc:tutorial
    • [or statement] in Doc:tutorial
  • [Determinacy Driven Execution] in Doc:tutorial
  • [Conditionals] in Doc:tutorial
    • [Logical Conditional] in Doc:tutorial
    • [Parallel Conditional] in Doc:tutorial
  • [Nondeterministic Programs and Search] in Doc:tutorial
    • [dis Construct] in Doc:tutorial
  • [Some Search Procedures (unwritten)] in Doc:tutorial
  • [The Basic Space Library (unwritten)] in Doc:tutorial
  • [Example: A Simple Expert System (unwritten)] in Doc:tutorial

• [Miscellaneous] in Doc:system (eq, nbSups)

• versus Prolog
  • [Prolog Comparison (or)] in Doc:tutorial
  • [Prolog Comparison (cond)] in Doc:tutorial
  • [Meta-programming in Oz] in MozartUsers:2000/thread.html#251

• Examples
  • [Define Clause Grammer] in Doc:tutorial
  • [Dis Construct] in Doc:tutorial
  • [Negation] in Doc:tutorial
  • [Dynamic Predicates] in Doc:tutorial

9. Constraint Programming

• Constraint Programming

• CourseID2204:lectures.html Constraint Programming
  • [L01: Introduction and Overview] in CourseID2204:lectures.html
  • [L02: Getting Practical...] in CourseID2204:lectures.html
  • [L03: Modeling Introduction] in CourseID2204:lectures.html
  • [L04: Constraint Propagation] in CourseID2204:lectures.html
  • [L05: More Constraint Propagation] in CourseID2204:lectures.html
  • [L06: Search] in CourseID2204:lectures.html
  • [L07: Search & Implementation] in CourseID2204:lectures.html
  • [L08: Implementation & Propagators] in CourseID2204:lectures.html
  • [L09: Propagators] in CourseID2204:lectures.html
  • [L10: Propagators & Scheduling] in CourseID2204:lectures.html
  • [L11: Scheduling, Finite Sets & Solving CSPs] in CourseID2204:lectures.html
  • [L12: Summary] in CourseID2204:lectures.html

• Constraints-Specific Type Structure and Modes

• [Constraints-Specific Type Structure and Modes] in Doc:system
  • [Type Structure] in Doc:system
  • [Signatures] in Doc:system
    • [Types] in Doc:system
    • [Modes] in Doc:system
    • [Notational Conventions] in Doc:system

• Search Engines

• [Search Engines: Search] in Doc:system
  • [Basic Search Engines] in Doc:system
  • [General Purpose Search Engines] in Doc:system
    • [Single Solution Search] in Doc:system
    • [All Solution Search] in Doc:system
    • [Best Solution Search] in Doc:system
  • [Search.object] in Doc:system
  • [Parallel Search Engines] in Doc:system
    • [An Example] in Doc:system
    • [The Class Search.parallel] in Doc:system

• Finite Domain Constraints

• [Finite Domain Constraints: FD] in Doc:system
  • [Some Facts About Propagators] in Doc:system
  • [The Concept of Constructive Disjunction] in Doc:system
  • [Finite Domains] in Doc:system
  • [Telling Domains] in Doc:system
  • [Reflection] in Doc:system
  • [Watching Domains] in Doc:system
  • [Generic Propagators] in Doc:system
  • [Symbolic Propagators] in Doc:system
  • [0/1 Propagators] in Doc:system
  • [Reified Constraints] in Doc:system
  • [Miscellaneous Propagators] in Doc:system
  • [Distribution] in Doc:system
  • [Assigning Values] in Doc:system

• [Finite Domain Constraint Programming in Oz. A Tutorial.] Doc:fdt (included below)

• ozengine properties
  • [Finite Domains: fd] in Doc:system

• Finite Set Constraints

• [Finite Set Constraints: FS] in Doc:system
  • [Finite Set Intervals] in Doc:system
  • [Sets over Integers] in Doc:system
  • [Standard Propagators] in Doc:system
  • [Finite Set Interval Variables] in Doc:system
    • [Declaring a Single Variable] in Doc:system
    • [Declaring a List of Variables] in Doc:system
    • [Declaring a Tuple of Variables] in Doc:system
    • [Declaring a Record of Variables] in Doc:system
  • [Finite Set Constants] in Doc:system
  • [Reified Propagators] in Doc:system
  • [Iterating and Monitoring] in Doc:system
  • [Reflection] in Doc:system
  • [Distribution] in Doc:system

• [Problem Solving with Finite Set Constraints in Oz. A Tutorial.] Doc:fst
  • [Introduction] in Doc:fst
  • [The Steiner Problem] in Doc:fst
  • [Generating Hamming Codes] in Doc:fst
  • [Packing Files onto Disks] in Doc:fst
  • [A Crew Allocation Problem] in Doc:fst
  • [Scheduling a Golf Tournament] in Doc:fst

• Feature Constraints

• [Feature Constraints: RecordC] in Doc:system

• Combining Constraints

• [Deep-guard Concurrent Constraint Combinators: Combinator] in Doc:system

• Spaces

• [First-class Computation Spaces: Space] in Doc:system

• [The selection constraint e.g. S={Select.fs [S1 ... Sn] I}] Mogul:/duchier/select.html in Mogul:/packages.html

• [A special Constraint-Solver for proof planning handling non-linear constraints.] Mogul:/mathweb/cs.html in Mogul:/packages.html

• Constraint-based Problem Solving

• [Problem Solving with Finite Set Constraints in Oz. A Tutorial.] Doc:fst
  • [Introduction] in Doc:fst
  • [The Steiner Problem] in Doc:fst
  • [Generating Hamming Codes] in Doc:fst
  • [Packing Files onto Disks] in Doc:fst
  • [A Crew Allocation Problem] in Doc:fst
  • [Scheduling a Golf Tournament] in Doc:fst

• [Finite Domain Constraint Programming in Oz. A Tutorial.] Doc:fdt

• [Introduction] in Doc:fdt
• [Propagate and Distribute] in Doc:fdt
  • [Finite Domains and Constraints] in Doc:fdt
  • [Constraint Propagation] in Doc:fdt
  • [Spaces, Propagators, and Constraint Stores] in Doc:fdt
  • [Interval and Domain Propagation] in Doc:fdt
  • [Incompleteness of Propagation] in Doc:fdt
  • [Distribution and Search Trees] in Doc:fdt
  • [An Example] in Doc:fdt
  • [Distribution Strategies] in Doc:fdt
  • [Search Order] in Doc:fdt
  • [Models] in Doc:fdt
• [Writing Problem Solvers in Oz] in Doc:fdt
  • [Format of Scripts] in Doc:fdt
  • [Example: Send More Money] in Doc:fdt
    • [Problem Specification] in Doc:fdt
    • [Model] in Doc:fdt
    • [Distribution Strategy] in Doc:fdt
    • [Script] in Doc:fdt
    • [Posting of constraints] in Doc:fdt
  • [The Explorer] in Doc:fdt
  • [New Primitives] in Doc:fdt
  • [Watching Propagators] in Doc:fdt
  • [Example: Safe] in Doc:fdt
• [Elimination of Symmetries and Defined Constraints] in Doc:fdt
  • [Example: Grocery] in Doc:fdt
  • [Example: Family] in Doc:fdt
  • [Example: Zebra Puzzle] in Doc:fdt
• [Parameterized Scripts] in Doc:fdt
  • [Example: Queens] in Doc:fdt
  • [Example: Changing Money] in Doc:fdt
• [Minimizing a Cost Function] in Doc:fdt
  • [Example: Coloring a Map] in Doc:fdt
  • [Example: Conference] in Doc:fdt
• [Propagators for Redundant Constraints] in Doc:fdt
  • [Example: Fractions] in Doc:fdt
  • [Example: Pythagoras] in Doc:fdt
  • [Example: Magic Squares] in Doc:fdt
  • [Exercises] in Doc:fdt
• [Reified Constraints] in Doc:fdt
  • [Getting Started] in Doc:fdt
  • [Example: Aligning for a Photo] in Doc:fdt
  • [Example: Self-referential Aptitude Test] in Doc:fdt
  • [Example: Bin Packing] in Doc:fdt
• [User-Defined Distributors] in Doc:fdt
  • [A Naive Distribution Strategy] in Doc:fdt
  • [A Domain-Splitting Distributor] in Doc:fdt
• [Branch and Bound] in Doc:fdt
  • [Example: Aligning for a Photo, Revisited] in Doc:fdt
  • [Example: Locating Warehouses] in Doc:fdt

• [A Traps and Pitfalls] in Doc:fdt
  • [Ordinary Arithmetic Blocks] in Doc:fdt
  • [Delay of Propagators] in Doc:fdt
  • [The Operators =: and :: don't Introduce Pattern Variables] in Doc:fdt
  • [Delay of Domain Specifications] in Doc:fdt
  • [Coreferences are not Always Realized] in Doc:fdt
  • [Large Numbers] in Doc:fdt

• [B Golden Rules] in Doc:fdt
  • [Analyze and Understand your Script] in Doc:fdt
  • [Experiment] in Doc:fdt
  • [Have as much Constraint Propagation as Possible] in Doc:fdt
  • [Find a Good Distribution Strategy] in Doc:fdt
  • [Keep the Number of Variables and Propagators Low] in Doc:fdt
  • [Eliminate Symmetries] in Doc:fdt
  • [Introduce Propagators for Redundant Constraints] in Doc:fdt
  • [Use Recomputation if Memory Consumption is a Problem] in Doc:fdt

• Scheduling

• [Scheduling Support: Schedule] in Doc:system
  • [Serialization for Unary Resources] in Doc:system
  • [Distribution] in Doc:system
  • [Cumulative Scheduling] in Doc:system
  • [Miscellaneous Propagators] in Doc:system

• [Scheduling] in Doc:fdt
  • [Building a House] in Doc:fdt
    • [Problem Specification] in Doc:fdt
    • [Building a House: Precedence Constraints] in Doc:fdt
      • [Model] in Doc:fdt
      • [Distribution Strategy] in Doc:fdt
      • [Script] in Doc:fdt
    • [Building a House: Capacity Constraints] in Doc:fdt
      • [Model] in Doc:fdt
      • [Distribution Strategy] in Doc:fdt
      • [Script] in Doc:fdt
    • [Building a House: Serializers] in Doc:fdt
      • [Ordering Tasks by Distribution] in Doc:fdt
      • [Script] in Doc:fdt
  • [Constructing a Bridge] in Doc:fdt
    • [Problem Specification] in Doc:fdt
    • [Model] in Doc:fdt
    • [Distribution Strategy] in Doc:fdt
    • [Script] in Doc:fdt
  • [Strong Propagators for Capacity Constraints] in Doc:fdt
  • [Strong Serializers] in Doc:fdt
  • [Solving Hard Scheduling Problems] in Doc:fdt
    • [The Problem ABZ6] in Doc:fdt
    • [The MT10 Problem] in Doc:fdt

• [Example: Conference] in Doc:fdt
  • [Problem Specification] in Doc:fdt
  • [Model] in Doc:fdt
  • [Distribution Strategy] in Doc:fdt
  • [Script] in Doc:fdt

• [Example Data - Scheduling] in Doc:fdt

• Extending the Constraint System

• [The Mozart Constraint Extensions Tutorial] Doc:cpitut

• Implementing Propagators

• [Implementing Propagators] in Doc:cpitut
  • [Basic Concepts] in Doc:cpitut
    • [Computation with Constraints in Oz] in Doc:cpitut
    • [Implementation of Propagators] in Doc:cpitut
  • [Getting Started] in Doc:cpitut
    • [Prerequisites] in Doc:cpitut
    • [Building a Propagator] in Doc:cpitut
  • [Replacing a Propagator] in Doc:cpitut
    • [A Twice Propagator] in Doc:cpitut
    • [Equality Detection and Replacement] in Doc:cpitut
    • [Benefits of Replacing Propagators] in Doc:cpitut

• [Imposing Propagators] in Doc:cpitut
  • [Basic Concepts] in Doc:cpitut
  • [Imposing Nestable Propagators] in Doc:cpitut
  • [Customizing OZ_Expect] in Doc:cpitut
• [Using Vectors in Propagators] in Doc:cpitut
  • [The element Constraint] in Doc:cpitut
  • [The Class Definition of ElementProp] in Doc:cpitut
  • [The Header Function] in Doc:cpitut
  • [Iterators Make Life Easier] in Doc:cpitut
  • [Implementing the Propagation Rules] in Doc:cpitut
• [Connecting Finite Domain and Finite Set Constraints] in Doc:cpitut
  • [The Class Definition] in Doc:cpitut
  • [The Propagation Function] in Doc:cpitut
  • [The Header Function and Connecting to the Native Functor Interface] in Doc:cpitut
  • [Testing the Propagator] in Doc:cpitut
• [Advanced Topics] in Doc:cpitut
  • [Detecting Equal Variables in a Vector] in Doc:cpitut
  • [Avoiding Redundant Copying] in Doc:cpitut
  • [Reified Constraints] in Doc:cpitut

• [Implementing Propagators] in Doc:cpiref
  • [Overview] in Doc:cpiref
  • [The class OZ_Expect] in Doc:cpiref
    • [Specification of a Set of Integers] in Doc:cpiref
    • [Member Functions for Checking the Constraint Store] in Doc:cpiref
    • [Member Functions for Control Purposes] in Doc:cpiref
  • [The class OZ_Propagator] in Doc:cpiref
  • [The class OZ_FDIntVar] in Doc:cpiref
  • [The class OZ_FiniteDomain] in Doc:cpiref
  • [The class OZ_FSetVar] in Doc:cpiref
  • [The class OZ_FSetValue] in Doc:cpiref
  • [The class OZ_FSetConstraint] in Doc:cpiref
  • [Auxiliary Interface Functions] in Doc:cpiref

• [Propagation Engine Library] in Doc:cpiref
  • [Overview] in Doc:cpiref
  • [The class PEL_ParamTable] in Doc:cpiref
  • [The class PEL_EventList] in Doc:cpiref
  • [The class PEL_PropFnctTableEntry] in Doc:cpiref
  • [The class PEL_PropFnctTable] in Doc:cpiref
  • [The class PEL_PropQueue] in Doc:cpiref
  • [The class PEL_FSetProfile] in Doc:cpiref
  • [The class PEL_FSetEventLists] in Doc:cpiref
  • [The class PEL_FDProfile] in Doc:cpiref
  • [The class PEL_FDEventLists] in Doc:cpiref
  • [The class PEL_SuspVar] in Doc:cpiref
  • [The class PEL_SuspFSetVar] in Doc:cpiref
  • [The class PEL_SuspFDIntVar] in Doc:cpiref

• Employing Linear Programming Solvers

• [Employing Linear Programming Solvers] in Doc:cpitut
  • [Introduction] in Doc:cpitut
  • [The Finite Domain Model] in Doc:cpitut
  • [The Linear Programming Model] in Doc:cpitut
  • [Combining Both Models] in Doc:cpitut
  • [Short Evalution] in Doc:cpitut
  • [Bibliography] in Doc:cpitut
  • [Index] in Doc:cpitut

• [Employing Linear Programming Solvers] in Doc:cpiref
  • [The Module LP] in Doc:cpiref

• Building Constraint Systems from Scratch

• [Building Constraint Systems from Scratch] in Doc:cpitut
  • [The Generic Part of the CPI] in Doc:cpitut
    • [The Model of a Generic Constraint Solver] in Doc:cpitut
    • [Overview over Generic Part of the CPI] in Doc:cpitut
  • [A Casestudy: Real Interval Constraints] in Doc:cpitut
    • [An Implementation] in Doc:cpitut
      • [A Definition Class for Real-Interval Constraints] in Doc:cpitut
      • [Determining Wake-up Events for Real-Interval Constraints] in Doc:cpitut
      • [The Actual Real-Interval Constraint] in Doc:cpitut
      • [Accessing the Constraint Store] in Doc:cpitut
      • [Extending OZ_Expect] in Doc:cpitut
      • [A Simple Propagator] in Doc:cpitut
    • [The Reference of the Implemented Real-Interval Constraint Solver] in Doc:cpitut

• [Building Constraint Systems from Scratch] in Doc:cpiref
  • [The class OZ_CtDefinition] in Doc:cpiref
  • [The class OZ_CtWakeUp] in Doc:cpiref
  • [The class OZ_CtProfile] in Doc:cpiref
  • [The class OZ_Ct] in Doc:cpiref
  • [The class OZ_CtVar] in Doc:cpiref

10. Development

• Development

• OPI - an Integrated Development Environment
  • [The Interactive Development Environment] in Doc:tutorial
  • [The Oz Programming Interface] Doc:opi

• Other interactive aids
  • [Browser] Doc:browser
  • [Oz Explorer - Visual Constraint Programming Support] Doc:explorer
  • [The Oz Inspector] Doc:inspector
  • [A tool for viewing logs from distributed Mozart] Mogul:/klintskog/ozmessagetrace.html in Mogul:/packages.html
  • [VamOz: Visual Abstract Machine for Oz]

• Monitoring
  • [Oz Panel] Doc:panel
  • [Distribution Panel] Doc:dpanel

• [A Mozart Shell] Mogul:/mathweb/mosh.html in Mogul:/packages.html

• Make
  • [ozmake - a tool for project building and package management] Mogul:/duchier/ozmake.html in Mogul:/packages.html
  • [A shell script that creates the files you need for managing/distributing a mozart contribution (e.g. configure.in, Makefile.in, etc...)] Mogul:/duchier/ozskel.html in Mogul:/packages.html
  • [configurations for packages or modules] Mogul:/niehren/configuration.html in Mogul:/packages.html (???)

• Documentation

• [Oz Documentation DTD] Doc:ozdoc
  • [Introduction] in Doc:ozdoc
    • [Introduction to SGML] in Doc:ozdoc
    • [Relationship to HTML] in Doc:ozdoc
    • [Notational Tricks] in Doc:ozdoc
    • [Omitting Tags] in Doc:ozdoc
  • [General structure of a document according to the Oz DTD] in Doc:ozdoc
    • [Entity Declarations] in Doc:ozdoc
      • [Macros] in Doc:ozdoc
      • [Include Files] in Doc:ozdoc
      • [Processing Instructions] in Doc:ozdoc
      • [Marked Section] in Doc:ozdoc
  • [BNF Description of the DTD] in Doc:ozdoc
  • [General Principles of the DTD] in Doc:ozdoc
    • [Common Attributes] in Doc:ozdoc
    • [Display/Inline phrase elements] in Doc:ozdoc
    • [External Resources] in Doc:ozdoc
    • [References] in Doc:ozdoc
  • [Description of all elements] in Doc:ozdoc
  • [Extending the DTD] in Doc:ozdoc
  • [Editing SGML Documents] in Doc:ozdoc

• [The Oz Documentation Utilities] (LaTeX. obsolete or not?)
  • raw2tex oz2tex.sty raw2oz ozbook.cls

• [Documentation tool for Mozart. Creates HTML API descriptions of functors, much like javadoc] Mogul:/franzen/ozh.html in Mogul:/packages.html

• Presentation
  • [Graph drawing with DaVinci: a professional tool.] Mogul:/niehren/davinci.html in Mogul:/packages.html
  • [A graphical simulator of nodes passing messages] Mogul:/neiderud/message-simulator.html in Mogul:/packages.html

• [Application Deployment] in Doc:apptut
  • [Linking Functors] in Doc:apptut
  • [Compressed Pickled Functors] in Doc:apptut
  • [Executing Functors] in Doc:apptut

• [Oz Shell Utilities] Doc:tools
  • [Table of Contents] in Doc:tools
  • [The Oz Engine: ozengine] in Doc:tools
  • [The Oz Compiler: ozc] in Doc:tools
  • [The Oz Linker: ozl] in Doc:tools
  • [The Oz Debugger: ozd] in Doc:tools
  • [The Oz Profiler: ozd -p] in Doc:tools
  • [The Oz DLL Builder: oztool] in Doc:tools
  • [Conversion of Pickles: convertTextPickle] in Doc:tools

• Compiler

• [Introduction] in Doc:compiler
  • [The Compiler's State] in Doc:compiler
• [Directives] in Doc:compiler
  • [Compiler Directives] in Doc:compiler
  • [Macro Directives] in Doc:compiler
• [Standard Applications] in Doc:compiler
  • [The Batch Compiler] in Doc:compiler
  • [The Compiler Panel] in Doc:compiler
    • [The Compiler Panel API] in Doc:compiler
  • [The Oz Programming Interface] in Doc:compiler
• [Application Programmer's Interface] in Doc:compiler
  • [Additional Secondary Types] in Doc:compiler
  • [The Compiler Module] in Doc:compiler
  • [Compiler Engines] in Doc:compiler
    • [Methods of the Compiler.engine Class] in Doc:compiler
    • [Queries] in Doc:compiler
  • [Compiler Interfaces] in Doc:compiler
    • [Sent Notifications] in Doc:compiler
    • [The Compiler.interface Class] in Doc:compiler
  • [Examples] in Doc:compiler
    • [Inspecting the Parse Tree] in Doc:compiler
    • [A Look into the Provided Abstractions] in Doc:compiler
• [A Compiler Switches] in Doc:compiler
  • [Global Configuration] in Doc:compiler
  • [Warnings] in Doc:compiler
  • [I. Parsing and Expanding] in Doc:compiler
  • [II. Static Analysis] in Doc:compiler
  • [III. Core Output] in Doc:compiler
  • [IV. Code Generation] in Doc:compiler
  • [V. Feeding to the Emulator] in Doc:compiler
  • [VI. Debugging] in Doc:compiler
• [B Narrators and Listeners] in Doc:compiler
  • [B.1 The Narrator Module] in Doc:compiler
    • [The class Narrator.'class'] in Doc:compiler
    • [Private Narrators] in Doc:compiler
  • [B.2 The Listener Module] in Doc:compiler
  • [B.3 The ErrorListener Module] in Doc:compiler
• [C Syntax Tree Format] in Doc:compiler
  • [C.1 The Base Language] in Doc:compiler
  • [C.2 Finite Domain Extensions and Combinators] in Doc:compiler
  • [C.3 Gump Extensions] in Doc:compiler
• [D Mozart Virtual Machine Bytecode] in Doc:compiler

• Debugging

• [Introduction] in Doc:ozcar
• [Invoking the Debugger] in Doc:ozcar
  • [Debugging within the Oz Programming Interface] in Doc:ozcar
  • [Debugging Standalone Applications] in Doc:ozcar
  • [Invoking Ozcar through its API] in Doc:ozcar
• [Ozcar's User Interface] in Doc:ozcar
  • [Thread Forest View] in Doc:ozcar
  • [Stack View] in Doc:ozcar
  • [Environment Views] in Doc:ozcar
  • [Status Line] in Doc:ozcar
  • [Source View] in Doc:ozcar
• [Sample Debugging Session] in Doc:ozcar
• [Execution Control] in Doc:ozcar
  • [Step Points] in Doc:ozcar
  • [Actions] in Doc:ozcar
  • [Breakpoints] in Doc:ozcar
    • [Static Breakpoints] in Doc:ozcar
    • [Dynamic Breakpoints] in Doc:ozcar
• [Environments] in Doc:ozcar
  • [Inspecting the Environment] in Doc:ozcar
  • [Using Values] in Doc:ozcar
  • [Compiling against the Environment] in Doc:ozcar
• [Unhandled Exceptions] in Doc:ozcar
• [Remote Debugging] in Doc:ozcar
  • [Starting the Server] in Doc:ozcar
  • [Connecting a Client to the Server] in Doc:ozcar
• [Limitations] in Doc:ozcar
• [A Menu Reference] in Doc:ozcar
• [B Application Programming Interface] in Doc:ozcar
  • [B.1 The Ozcar Module] in Doc:ozcar
  • [B.2 Ozcar.object] in Doc:ozcar
  • [B.3 Configuration Options] in Doc:ozcar
  • [B.4 The OzcarClient Module] in Doc:ozcar

• [A tool for viewing logs from distributed Mozart] Mogul:/klintskog/ozmessagetrace.html in Mogul:/packages.html

• ozengine properties
  • [Time Usage: time] in Doc:system
  • [Printing Errors: errors] in Doc:system
  • [Printing Messages: messages] in Doc:system
  • [Printing Values: print] in Doc:system

• Profiling

• [The Mozart Profiler] Doc:profiler

• ozengine properties
  • [Time Usage: time] in Doc:system

• [09: Runtime and Memory Efficiency] in DatalogiII2003:lectures/
• [10: Runtime and Memory Efficiency, Concurrency] in DatalogiII2003:lectures/

• C/C++ API

• [Native C/C++ Extensions] in Doc:apptut
  • [Global Counter Library] in Doc:apptut
    • [Implementation] in Doc:apptut
    • [Compilation] in Doc:apptut
    • [Deployment] in Doc:apptut
  • [Native Counter Objects] in Doc:apptut
    • [Counter Class] in Doc:apptut
    • [Counter Creation] in Doc:apptut
    • [Type Testing] in Doc:apptut
    • [Expecting Counter Arguments in Builtins] in Doc:apptut
    • [Operations on Counters] in Doc:apptut
    • [Printing Support] in Doc:apptut
    • [Garbage Collection] in Doc:apptut
    • [Finalization] in Doc:apptut
    • [Native Functor] in Doc:apptut
    • [Oz Wrapper Module] in Doc:apptut
  • [Situated Cell-Like Objects] in Doc:apptut
    • (... same as above for Native Counter Objects)

• [Interfacing to C and C++] Doc:foreign

• [Foreign Pointers] in Doc:base

• [Constraint Extensions Tutorial] Doc:cpitut
• [Constraint Extensions Reference] Doc:cpiref

• Installation
  • [Installation Manual] Doc:install

• MOGUL: the MOzart Global User Library
  • Mozart/Oz's CPAN
  • http://www.mozart-oz.org/mogul/
  • Mogul:/packages.html

• Other sources of code

• [Supplements for "Concepts, Techniques, and Models of Computer Programming"]
  • [Basic system supplements]
  • [Basic file I/O (functor File.oz)]
  • [Set utilities (functor Set.oz)]
  • [Distribution utilities (functor Distribution.oz)]
  • [dserver]
  • [dclient]
  • [Guard utility]
  • [The tree-drawing algorithm of chapter 3]. and the GUI code necessary to display it as shown in the book.
  • [The Ping-Pong program of chapter 5]. and the graphical progress monitor used to show its progress on the screen.
  • [The simple graphics package of chapter 7]. an example of multiple inheritance.

Miscellaneous

• Mathweb project

• http://www.mathweb.org/
• http://www.mathweb.org/mathweb/index.html
• in MOGUL:
  • [The Mathweb Distribution Framework] Mogul:/mathweb/mathweb.html in Mogul:/packages.html
  • [Some functors for OpenMath translation] Mogul:/mathweb/omutils.html in Mogul:/packages.html
  • [Basic Libraries used by other MathWeb packages] Mogul:/mathweb/share.html in Mogul:/packages.html
  • [A special Constraint-Solver for proof planning handling non-linear constraints.] Mogul:/mathweb/cs.html in Mogul:/packages.html
  • [A Mozart Shell] Mogul:/mathweb/mosh.html in Mogul:/packages.html
  • [a variant of Open.html for use with objects] Mogul:/mathweb/html.html in Mogul:/packages.html
  • [A Simple HTTP Server] Mogul:/mathweb/httpd.html in Mogul:/packages.html
  • [converts XML Document Type Definitions (DTDs) into Oz Parsers (Gump)] Mogul:/mathweb/xmlparser.html in Mogul:/packages.html
  • [A simple XMLRPC Server] Mogul:/mathweb/xmlrpc.html in Mogul:/packages.html

11. Page development

• Documentation source status

• Doc:add-ons (2004-May-25 did toc.)
• Doc:apptut (2004-May-25 did toc.)
• Doc:base (2004-May-25 did toc.)
• Doc:browser (2004-May-25 linked.)
• Doc:changes (not yet)
• Doc:compiler (2004-May-25 did toc.)
• Doc:contrib (2004-May-25 did toc.)
• Doc:cpiref (2004-May-25 did toc.)
• Doc:cpitut (2004-May-25 did toc.)
• Doc:demo (2004-May-25 linked.)
• Doc:dpanel (2004-May-25 linked.)
• Doc:dstutorial (2004-May-25 did toc.)
• Doc:ds_white_paper (2004-May-25 did toc.)
• Doc:explorer (2004-May-25 linked.)
• Doc:fdt (2004-May-25 did toc.)
• Doc:foreign (2004-May-25 linked.)
• Doc:fst (2004-May-25 did toc.)
• Doc:gump (2004-May-25 did toc.)
• Doc:howtoread (not yet)
• Doc:inspector (2004-May-25 linked.)
• Doc:idx (not yet)
• Doc:install (2004-May-25 linked.)
• Doc:limitations (2004-May-25 linked.)
• Doc:loop (2004-May-25 did toc.)
• Doc:mozart-stdlib (2004-May-25 did toc.)
• Doc:notation (2004-May-25 did toc.)
• Doc:op (2004-May-25 did toc.)
• Doc:opi (2004-May-25 linked.)
• Doc:overview (punt)
• Doc:ozdoc (2004-May-25 did toc.)
• Doc:ozcar (2004-May-25 did toc.)
• Doc:panel (2004-May-25 linked.)
• Doc:profiler (2004-May-25 linked.)
• Doc:system (2004-May-25 did toc.)
• Doc:tools (2004-May-25 did toc.)
• Doc:tutorial (2004-May-24 done.)
• Doc:wp (2004-May-25 linked.)

• [Managing Data with Mozart GSLT-2003 slides] SlidesManagingData:/ (2004-May-26 done.)
• [Constraint Programming for Natural Language Processing] Esslli2000:/ (2004-May-26 did toc.)
• [The Oz Documentation Utilities] (2004-May-26 did toc.)

• MOGUL libraries (2004-May-25 did packages list.)

• Documentation awaiting integration: (in no particular order)

• http://www.ling.gu.se/~lager/kurser/ExploringOz/ (todo: "Exercises" to end)
• [Concurrency GSLT-2003 slides]
• [A collection of Chart Parsers]

• http://www.info.ucl.ac.be/%7Epvr/
• http://www.ps.uni-sb.de/%7Educhier/
• [Supplements for "Concepts, Techniques, and Models of Computer Programming"] (todo: Lecture slides; Tutorials; Lab assignments; Exams)
• [Mozart System Limitations for Version 1.3.0 (PDF)]
• [INGI2131 concurrent programming] "There are lots of lab assignments."
• [ID2204 Constraint Programming] (lectures done. todo: assignments; exams; resources)
• http://www.mozart-oz.org/papers/abstracts/oznlp.html
• courses linked at the bottom of http://www.info.ucl.ac.be/people/PVR/ds/mitbook.html
• http://www.comp.nus.edu.sg/~cs2104/ (todo: Lectures; Tutorials; Assignments; Exams)
• [Datalogi II (2G1512), Fall 2003] (Lectures done. todo:Tutorials; Labs; Exams)
• http://www.info.ucl.ac.be/people/PVR/linf/ LINF1251 slides (English)
• http://www.info.ucl.ac.be/notes_de_cours/LINF1251/archives/2001-2002/ LINF1251 (French)
• http://www.ling.gu.se/~lager/kurser/ExploringOz/handout.pdf Code samples
• Alice:FrontPage
• mailinglist archives...
• undocumented distribution source code
• crawl http://www.mozart-oz.org/

• Pages/entries waiting to be inserted into the "manual":

• [Installer Tool for Oz functors] Mogul:/afranke/installer.html in Mogul:/packages.html (Huh?)
• [Basic Libraries used by other MathWeb packages] Mogul:/mathweb/share.html in Mogul:/packages.html (Benchmark Buffer Dir Edit Env File Internet Process Random Text Ticket XApplication XCompiler XManagers XOpen XTime XTkDialog XTkTools) ???

• History
  • 2004-May-30 First draft.

11.1. Comments and Suggestions

• ... about this page and its linking of existing documents

• Add short one-line descriptions to opaque document links. -- MitchellNCharity - 2004-May-25
• Slice up Distributed Programming section by topic. -- MitchellNCharity - 2004-May-25
• Make sure tools are mentioned in Distributed Programming section. -- MitchellNCharity - 2004-May-25
• Deal with mathweb/share.html. -- MitchellNCharity - 2004-May-25
• Clean up Graphs/Linguistics section. -- MitchellNCharity - 2004-May-25
• Link general CLP resources, esp tutorial. -- MitchellNCharity - 2004-May-25
• Provide language context. -- MitchellNCharity - 2004-May-25
• Upcalls from subspaces. -- MitchellNCharity - 2004-May-25
• Add ParseOzFile etc, transforms, to Meta-programming. -- MitchellNCharity - 2004-May-25
• Change the Data vs Code distinction which serves Objects so poorly. -- MitchellNCharity - 2004-May-31
• Features need more focused coverage. -- MitchellNCharity - 2004-May-31

• Suggestions for additional documentation.