This document is available by FTP in various formats. It was converted to HTML using Hyperlatex 2.2.
This note considers the use of SGML [Gol90] for the CASL Interchange Format. SGML is already being used for the Z Interchange Format [BN92], and it is supported by various public-domain tools. It may also be a required format for documentation in particular applications.An SGML grammar (DTD) for CASL abstract syntax has not yet been written, but that provided for Z (op.cit.) should give an impression of how it might look. A couple of small examples are presented to illustrate the approach.
No previous familiarity with SGML is presumed. N.B. The author's knowledge of SGML is only superficial--kindly inform him about any apparent misconceptions. Moreover, this note was written very hastily. See CoFI Note T-1 [Hav97] for a broader study of the use of SGML in connection with CASL.