MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  SGML-Lite--An SGML-based Programming Environment for Literate Programming

Download:
Download as a PDF | Download as a PS
unknown authors
http://aries17.uwaterloo.ca/research/cascon94.ps.gz
Add To MetaCart

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