منابع مشابه
Literate Programming
The past ten years have witnessed substantial improvements in programming methodology. This advance, carried out under the banner of “structured programming,” has led to programs that are more reliable and easier to comprehend; yet the results are not entirely satisfactory. My purpose in the present paper is to propose another motto that may be appropriate for the next decade, as we attempt to ...
متن کامل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...
متن کاملTowards Modern Literate Programming
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...
متن کاملFormalization and 'Literate' Programming
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...
متن کاملLiterate Programming in Forth
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 ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Statistical Software
سال: 2007
ISSN: 1548-7660
DOI: 10.18637/jss.v019.i08