MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  A Literate Programming Tool for Concurrent Clean

Download:
pdf
by Glenn Strong
ftp://ftp.cs.tcd.ie/pub/tech-reports/reports.01/TCD-CS-2001-13.pdf
Add To MetaCart

Abstract:

Literate programming has attracted some interest in the functional programming community. This paper presents a prettyprinting algorithm used in a literate programming tool for the functional language Concurrent Clean, and discusses some of the issues involved in prettyprinting layout based languages. 1 Literate programming This section introduces the concept of literate programming for those who are unfamiliar with it, and makes some suggestions as to the merits of literate programming. There is some coverage of the topic from the point of view of functional programming, which is the authors primary interest. 1.1 What is literate programming? Literate programming is a style of programming introduced by Donald Knuth in his book of the same name [2]. The central idea of literate

Citations

1128 Monads for functional programming – Wadler - 1992
340 Literate Programming”, The – Knuth
13 Literate Programming. CSLI Lecture Notes Number 27 – Knuth - 1992
8 Literate-programming tools need not be complex – Ramsey - 1992
5 The refinement calculus, and literate development – Morgan - 1993
1 pp source code and documentation. http://www.cs.tcd.ie/Glenn.Strong/Software – Strong
1 Concurrent Clean 1.1 Language Report. University of Nijmegen. Web with details at http://www.cs.kun.nl/~clean, and PostScript version of the language reference available in the file ftp://ftp.cs.kun.nl/pub/Clean/Clean11/doc/refman11.ps.gz. This system is – Plasmeijer, Eekelen