Literate programming was invented by Donald Knuth as a technique for improved documentation of program understanding. It involves writing code and documentation in a single source document, ordered for comprehension by humans rather than computers. Despite its ability to produce software of higher quality and maintainability, the technique is not widely used. In this report, we present a compre...

OWL ontologies are complex computational artifacts that are intimately connected with conceptual information and with application issues that are not easily explicable in the context of an OWL document. In this paper, drawing inspiration from literate programming and active essays, I propose a new form of narratively oriented, interactive OWL document. The basic technique has been applied to th...

Literate Statistical Practice (LSP) is an method for statistical practice which suggests that documentation and specification occur at the same time as statistical coding. It applies literate programming Knuth (1992) to the practice of statistics. We discuss 2 different approaches for LSP, one currently implemented using Emacs with Noweb and Emacs Speaks Statistics (ESS), and the other develope...

Background/Context: This article explores sustainability as an emerging paradigm for preservice preparation of teachers. Sustainability education, which is rooted in Deweyan ideas about the fundamental social purposes of schooling, attends to the tensions created by the interconnectedness of environmental, economic, and social equity systems. Sustainability education extends but does not replac...

LitProg [Literate Programming] is a technique created by Donald Knuth to make computer programs readable and maintainable. This article introduces LitProg, demonstrates what a literate program looks like, and describes the LitProg tool “xmLP”, which can be used to literately develop program sources (or other control file sources) whose content is XML or text. Rendered by www.RenderX.com xmLP — ...

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 t...

The practitioner of literate programming can be regarded as an essayist, whose main concern is with exposition and excellence of style. Such an author, with thesaurus in hand, chooses the names of variables carefully and explains what each variable means. He or she strives for a program that is comprehensible because its concepts have been introduced in an order that is best for human understan...

The ‘literate’ programming model is extended to include a concept of mechanical transformation. A prototype tool, FLP (Formal Literate Programming tool), has been developed which uses this extended ‘literate’ programming model in both a formal program proof setting, and within a formal (refinement) program development setting. In both settings, FLP provides history, access to tools, and an easy...

We look at Donald Knuth's concept of \Literate Programming," investigating exactly what it is and how it is used to assist conventional programmers. We then ask what lessons we can learn from this idea and if it is possible to apply them to Forth. We look at the alterations needed to the system and/or Forth to allow us to take advantage of this system. Indeed do we obtain all of the advantages ...