This paper describes a simple, efficient algorithm to locate all occurrences of any of a finite
number of keywords in a string of text. The algorithm consists of constructing a finite state …

Computer program input generally has some structure; in fact, every computer program that
does input can be thought of as defining an``input language''which it accepts. An input …

UNIX is a general-purpose, multi-user, interactive operating system for the Digital Equipment
Corporation PDP-11/40 and 11/45 computers. It offers a number of features seldom found …

unix* is a general‐purpose, multi‐user, interactive operating system for the larger Digital
Equipment Corporation pdp‐11 and the Interdata 8/32 computers. It offers a number of …

Formatting systems are concerned with the physical layout of a document for hard-and soft-
copy media. This paper characterizes the formatting problem and its relation to other aspects …

The realisation of domain-specific languages (dsls) differs in fundamental ways from that of
traditional programming languages. We describe eight recurring patterns that we have …

This paper presents a brief history of the early development of the UNIX™ operating system.
It concentrates on the evolution of the file system, the process‐control mechanism, and the …

Handbook of Writing for the Mathematical Sciences, Third Edition : Back Matter Page 1 Glossary
abstract. A brief, self-contained summary of the contents of a paper that appears by itself at …

This paper discusses algorithms which transform expression trees into code for register
machines. A necessary and sufficient condition for optimality of such an algorithm is derived …

This paper is a case study of program evolution. The author kept track of all changes made
to TEX during a period of ten years, including the changes made when the original program …