formal.tex from gzz at Krugle

Show formal.tex syntax highlighted


\documentclass[a4paper]{article}

\usepackage{oz}

\begin{document}

\title{A formal specification of GZigZag\\WIP}
\author{Antti-Juhani Kaijanaho}
\maketitle

\begin{zed}
  [Cell].\\
\end{zed}

\begin{schema}{StaticSpace}
  allcells : \pset Cell \\
  connections : Cell \pfun (Cell \rel Cell) \\
  \ST \\
  \dom connections \subset allcells  \\
  \dom \ran connections \subset allcells  \\
  \ran \ran connections \subset allcells  \\
  \forall d \in Cell @ \forall c \in Cell @ \forall c' \in Cell @
  \forall c'' \in Cell @ \\\quad((c, c') \in connections(d) \land (c, c'') \in
  connections (d)) \imp c' = c''\\
  \forall d \in Cell @ \forall c \in Cell @ \forall c' \in Cell @
  \forall c'' \in Cell @ \\\quad((c', c) \in connections(d) \land (c'', c) \in
  connections (d)) \imp c' = c''
\end{schema}

\end{document}

See more files for this project here

gzz

An implementation of Ted Nelson's ZZstructure. ZZstructure is a new type of programming platform for structured data.

Project homepage: http://savannah.nongnu.org/projects/gzz
Programming language(s): C++,Java,Python
License: lgpl21

  Makefile
  SCRATCH
  canvasraster.dia
  cursor1.dia
  cursordim.dia
  email1.dia
  formal.tex
  inheritparam.dia
  mainloop.jpg
  oz.sty
  rasterspec.dia
  sliceinclusion-containment.jpg
  sliceinclusion-dimsame.jpg
  sliceinclusion-preflet-types.jpg
  sliceinclusion-simple.jpg
  sliceinclusion-upgrade-conflict.jpg
  sliceinclusion-upgrade.jpg
  spaces1.jpeg
  spaces2.jpeg
  spaces3.jpeg
  span-insertion-after.png
  span-insertion-before.png
  transspace-versioning-inclusion.jpg
  transspace-versioning.jpg
  zzspec.wml