Functional specifications of a text editor
Gary Feldman · 1982
This paper presents a formal specification technique, derived by combining Backus' FP systems with a simple, bottom up, syntax directed scheme. The technique is then used to provide a complete specification of a well known editor. This work was prompted by the apparent inadequacy of existing specification techniques for this task. Below I present the motivation behind this work, an introduction to my programming model and specification technique, and the editor specifications. I finish with a discussion of some conclusions about functional programming and my future directions.