Don Knuth created Literate Programming about thirty years ago. It could be called a methodology, discipline, paradigm, . . . Bentley’s “Programming Pearls” article about Knuth’s book, TEX: The Program, caused a huge stir in the computing professions. Soon there was announcement of a Literate Programming section for the CACM . Several “Literate Programming systems” quickly appeared. This was fol...

Hypertext removes some of the constraints of conventional linear text by providing mechanisms for physicaily realizing the conceptual links between related sections of material. This research examines the use of a hypertext browser with a literate program. A literate program has a sequential structure, in that it is divided into sections presented in a particular order, and a hierarchical struc...

Author Addresses: Lead Author: V. Pieterse, Department of Computer Science, University of Pretoria, Lynnwood Road, Pretoria, 0001, South-Africa; [email protected] Co-authors: D.G. Kourie, Department of Computer Science, University of Pretoria, Lynnwood Road, Pretoria, 0001, South-Africa; [email protected] Andrew Boake, CERA@UP, University of Pretoria, Lynnwood Road, Pretoria, 0001, South-...

Literate proving is the analogue for literate programming in the mathematical realm. That is, the goal of literate proving is to produce clear expositions of formal mathematics that could even be enjoyable for people to read whilst remaining faithful representations of the actual proofs. This paper describes maze, a generic literate proving system. Authors markup formal proof files, such as Miz...

This work presents the analysis of the body movement of male participants, while talking with a life-size virtual woman in a virtual social encounter within a CAVE-like system. We consider independent and explanatory variables including whether the participant is the centre of attention in the scenario, whether the participant is shy or confident, and his relationship status. We also examine wh...

In her article "Asian Latino Conflict and Solidarity in Díaz's The Brief and Wondrous Life of Oscar Wao" Paula C. Park responds to the recent interest in Asian Latino/a culture by examining the role of Chinese Dominicans in Junot Díaz's acclaimed novel. She first places her analysis within the historical context of Chinese immigration in the Dominican Republic during the first half of the twent...