Terminology for formally specifying UNIX-oriented objects



Thomas F. Piatkowski



1999 October 25

This document presents a glossary of reserved words and a description of notational conventions used in the formal specifications of UNIX being developed in CS 224 at Western Michigan University.

The full document is provided in pdf format: Terminology (pdf)

 


For correspondence regarding this document please contact: thomas.piatkowski@wmich.edu
 



The number of accesses to this webpage since 1999 September 24 :