/usr/share/mozart/doc/notation/index.html is in mozart-doc 1.4.0-8ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 | <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD><TITLE>The Oz Notation</TITLE><LINK href="ozdoc.css" rel="stylesheet" type="text/css"></HEAD><BODY><P class="margin"><A href="../index.html">Top</A><BR><A href="http://www.mozart-oz.org/download/view.cgi?action=print&class=reference&name=Notation">Print</A></P><H1 align="center" class="title">The Oz Notation</H1><H2 align="center" class="authors"><A href="http://www.iscs.nus.edu.sg/~henz">Martin Henz</A> and <A href="http://www.ps.uni-sb.de/~kornstae/">Leif Kornstaedt</A></H2><P></P><DIV align="center"><IMG alt="" src="notation.gif"></DIV><P></P><BLOCKQUOTE><P>Oz is a concurrent language providing for functional, object-oriented, and constraint programming. This document defines how Oz program text is transformed into an Oz Core program. Oz Core is a sublanguage of Oz designed to minimize syntactic complexity. Oz Core serves as the base for the definition of the semantics of Oz. </P><P> Technically, Oz Core allows to use several programming paradigms, including functional, constraint and object-oriented programming. Being a purely relational language, however, Oz Core does not provide easy notational access to programming methods from these paradigms, making it hard to fully exploit the capacities of the language. </P><P> It is such ergonomic considerations that lead to the development of the Oz Notation, where syntactic extensions provide convenient constructs for functional and object-oriented programming. The semantics of these extensions is defined in this document by their stepwise translation to Oz Core. </P></BLOCKQUOTE><HR><UL class="toc"><LI><A href="toc.html#label1">Table of Contents</A></LI></UL><UL class="toc"><LI><A href="node1.html#chapter.intro">1 Introduction</A></LI></UL><UL class="toc"><LI><A href="node2.html#chapter.lexical">2 Lexical Syntax</A></LI></UL><UL class="toc"><LI><A href="node3.html#chapter.context-free">3 Context-Free Syntax</A></LI></UL><UL class="toc"><LI><A href="node4.html#chapter.core">4 Core Programs</A></LI></UL><UL class="toc"><LI><A href="node5.html#chapter.translation">5 Translation of Oz Programs to Oz Core Programs</A></LI></UL><UL class="toc"><LI><A href="bib.html#label42">Bibliography</A></LI></UL><HR><ADDRESS><A href="http://www.iscs.nus.edu.sg/~henz">Martin Henz</A> and <A href="http://www.ps.uni-sb.de/~kornstae/">Leif Kornstaedt</A><BR><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>
|