SGML-Lite--An SGML-based Programming Environment for Literate Programming
Abstract:
Literate Programming is a documentation method that attempts to maintain consistency among the various design and program documents of a software system. Unfortunately the majority of the literate programming tools do not have appropriate user interfaces and require the users to learn complicated and cryptic tagging languages. SGML is a metalanguage used to specify markup or tagging languages that can be used to encode the structure of documents. Since SGML is an ISO standard and is being widely used by both industry and government, the number of applications that use SGML as the underlying document representation language is growing rapidly. This paper describes how a markup language defined using SGML can be used as the basic method for structuring literate programming documents and can be made independent of the programming language. Furthermore, with SGML and tools to browse and edit SGML documents, literate programs can benefit from WYSIWYG editing and hypertext capabilities and can even include pictures and other graphics. In addition, syntax-directed editors that support SGML can hide the markup tags and thus remove the need to learn a markup language. Text databases that use SGML can also be used to store literate programs. As a result, literate programs can be browsed and queried using complex search expressions, a capability beyond most text editors. For example, the searches can involve combinations of structural and textual information. Because SGML is a popular and emerging standard, we can expect to have more powerful tools to manipulate many different forms of design and program documentation.
Citations
| 993 | The Z notation: a reference manual – Spivey - 1992 |
| 340 | Literate Programming”, The – Knuth |
| 207 | A Specifier’s Introduction to Formal Methods – Wing - 1990 |
| 168 | A Rational Design Process: How and Why to Fake It – Parnas, Clements - 1986 |
| 150 | Programming perl, O’Reilly & Associates – Wall, Schwartz - 1991 |
| 50 | Using Z: Specification – Woodcock, Davies - 1996 |
| 38 | An introduction to Z and formal specifications – Spivey - 1989 |
| 17 | The f uzz Manual – Spivey - 1992 |
| 13 | Lector - an interactive formatter for tagged text – Raymond - 1990 |
| 10 | Supporting document development with concordia – Walker - 1988 |
| 8 | Foundations of 4Thought – Ryman - 1992 |
| 7 | Reading Source Code – Raymond - 1991 |
| 6 | An Editor and User Interface for Manipulating Structured Documents – Rita - 1991 |
| 4 | version 2 Release 4 – Manual - 1993 |
| 3 | Enhancing code readability using SGML – Cowan, Germ'an, et al. - 1994 |
| 3 | Formal Methods and Literate Programming – Ryman - 1993 |
| 2 | LivePage Browser Tutorial and Reference – Canada - 1995 |

