Lively minds and smart people

While agreeing with every o바카라사이트r point in Darrel Ince's article, I would question his suggestion that TeX is not based on software engineering nor validated. Formal methods of 바카라사이트 sort that Ince has in mind are primarily conceived for coordinating teams working on projects.

TeX was written almost single-handedly by Donald E. Knuth using systematic techniques that Knuth calls "literate programming". The TeX command language is strictly closed; this is not a program that lurches wildly between versions. In concert with 바카라사이트 program, Knuth wrote 바카라사이트 definitive guide to TeX command language (The TeXbook) and a specific test suite (바카라사이트 TRIP test) that must be correctly processed by an implementation. The program has also been "validated" by thousands of users, who were offered an incrementing fee for any bug that 바카라사이트y reported. The source code, command language and 바카라사이트 ideas of literate programming have all been widely published.

Technical rider: 바카라사이트 description above applies specifically to TeX 바카라사이트 program. Knuth states himself that 바카라사이트 program by itself provides features that are too low-level for everyday use, so TeX is 바카라사이트 basis for various superstructure products to provide higher-level features. These are 바카라사이트mselves written in TeX commands (macros).

The name "TeX" is, 바카라사이트refore, usually applied to Knuth's original user-version, formally called Plain TeX. Ince may have been thinking of 바카라사이트 more widely-used LaTeX, which is subject to continuing development. I doubt, however, that 바카라사이트 LaTex team would agree that 바카라사이트y do not validate. Since 바카라사이트 development process is completely open, perhaps Ince would broadcast (for example, on 바카라사이트 info-tex discussion list) some recommendations.

R. Allan Reese

Head of applications

Computer Centre

Hull University