Samples of Formal Documentation using MATHS and HTML
OJ a very small language(April 1st 2000)
Sample development of an
the CGI that searches my bibliography
(Mar 14th 2000)
A test of translating URLs in MATHS to HTML(March 2000)
Notes on XHTML(February 2000)
Small Awk(January 2000)
The the Unified Modelling Language
plus A conjectural grammar of the .mdl file format used by Rational Rose.
Notes on XML(eXtensible Markup Language).
Search my samples
Some Simple Examples of Math in Use
Descriptions of systems other than software
Mark Up Languages
Pointers to ada on the Web
, . . .
, . . .
Algol 60:algol60.syntax (Based on the Algol 60 Report).
Wilhelm Bernhard Kloke
home page and
C and C++
A HyperTalk Handbook
Notes on perl
Outline of Notes on Python
The Small Awk Language(January 2000).
Operating System Languages
Specification and Requirements Languages
Languages For systems, Problem, and Doamin Analysis
This document is an index to samples showin how
notation can be used to write documentation.
The objectives of this notation aredefined in the MATHS manifesto.
Also see the
introductions, the overview, a description of the notations(like '::=', '#(_)', 'O(_)', '|', '&', etc), more samples, and a draft formal definition.
See my software development page for information on other notations and methods.