A simple text processing tool which allows positioning of lines within a document is presented using the formal specification language Z. Implementation details such as the use oftabcharacters andnewlinesequences are covered. The program has been implemented under the UNIX operating system. It is hoped that the use of similar techniques will become widespread in the field of software engineering.
展开▼