WINDOW: A Formally-Specified Graphics-Based Text Editor,
Abstract
WINDOW is a formally-specified text editing program which exploits the graphics capabilities of CRT terminals. Terminal screens are divided into several windows. Each window displays text from any of a number of simultaneously open files. Through the notion of linked pointers, operations upon one file may invoke corresponding operations upon other files. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 01, 1973
- Accession Number
- AD0763838
Entities
People
- David L. Parnas
- Douglas Gerhardt
Organizations
- Carnegie Mellon University