Samples of Formal Documentation using MATHS and HTML

Contents

New samples


OJ a very small language(April 1st 2000)
Sample development of an simple enhancement for 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)
Design(November 1999),
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

To search my sample documentation input an 'egrep' (UNIX) regular expression:

Hint. Input a single word and use a dot (.) as a wild card character.
search is case sensitive

By default my dictionary and glossaries are always searched. You can also choose to search my files for
lexemes, syntax , semantics, and papers, articles, and books.
UNIX, software development and Java sites on the WWW
mathematics, logic, plus my MATHS notation and theory of types

Select to Submit your Request

Comment Form

Please delete the comments that do not apply to you and add another one line comment if you want to:

Select to send your feedback

Some Simple Examples of Math in Use

Descriptions of systems other than software

Glossaries

Internet standards

  • Meta-languages

  • Miscelaneous Notations

    Mark Up Languages

    Programming Languages

     comp.lang.Glossary

    Ada

    Pointers to ada on the Web , . . . ada.glossary , . . . ada83.syntax

    Algol 60

    Algol 60:algol60.syntax (Based on the Algol 60 Report).
    Algol 68: Wilhelm Bernhard Kloke home page and Revised Report.

    C and C++

    COBOL

    Introduction Syntax

    HyperTalk

    A HyperTalk Handbook

    Java

    JavaScript

    Notes on JavaScript

    LISP

    Pascal

    Perl

    Notes on perl

    Python

    Outline of Notes on Python

    Prolog

    Small Awk


    The Small Awk Language(January 2000).

    Smalltalk

    Standard ML

    ml.syntax.html

    Operating System Languages

    Specification and Requirements Languages

    Languages For systems, Problem, and Doamin Analysis

    Theories

    Meta-information

     This document is an index to samples showin how Dick Botting's MATHS notation can be used to write documentation.

    Contact

    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.

    You can use Anonymous FTP to get samples of the raw MATHS documents. Look for files with suffix "mth".