Literate Moderated Literate Moderated by Programming Printing Common Words Moderator's Introduction to Column 1
نویسندگان
چکیده
I n May and June 1986, Programming Pearls took up literate programming, an approach to programming espoused by Donald Knuth. Knuth’s premise is that the best programs are meant for people as well as machines; they are meant to be read as well as run. He built a system, WEB, that scans specially structured technical reports to extract Pascal statements interwoven with the text, forming from them an executable program. Pascal is not essential; WEB can work as well with any other programming language, such as Fortran. A literate program contains not only the needed statements in a programming language, but also a precise problem statement, a summary of the background needed to understand the solution, an evaluation of alternatives, assessments of trade-offs between the runnin time and space, or between running time and 1
منابع مشابه
Literate Proving: Presenting and Documenting Formal Proofs
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...
متن کاملLiterate Programming, Why?
Knuth's WEB system for literate programming has slowly built a signi cant following. Systems now exist for most common high level languages. I will give an overview of literate programming and a biased view of its status including: 1. an annotated bibliography of available WEB systems, 2. elementary software metrics that may be used in evaluating codes, 3. an indication of the using (practicing...
متن کاملA Literate Programming Tool for Concurrent Clean
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 w...
متن کاملAnalysis of Literate Programs from the Viewpoint of Reuse
Donald Knuth created the WEB system for literate programming when he wrote the second version of TEX, a book-quality formatting system. Levy later created CWEB, which is based on Knuth’s WEB using the C programming language and supporting development using the C and C++ programming languages. Krommes’ FWEB is based on CWEB and supports several programming languages. We analyze some parts of the...
متن کاملReverse Literate Programming
Knuth’s Literate Programming system allows an author to design and describe a program hierarchically according to the method of stepwise refinement. The result is source code, which can be read sequentially like a book, section after section. This helps when reading printed source code, but on screen source code is read rather selectively like an encyclopedia. There the programmer wants a syste...
متن کامل