An Algebraic Specification Language and a Syntax Directed Editor.
Abstract
The rising cost of software has created a demand for methodologies which will allow the creation of portable software. Formal speculation methods have been used to increase the portability of software, permit a degree of verification and validation, and lessen the burden of maintenance. The underlying theory for most specification methods, however, make them difficult to use and frequently are not applicable to many problems. Formal specifications based on initial algebras provide a framework for precisely defining program behavior and avoid the problems of informal specification methods. This thesis presents a specification language based on initial algebras, describes an experimental syntax directed editor which uses the language's grammar. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Dec 01, 1984
- Accession Number
- ADA150664
Entities
People
- N. L. Lilly
Organizations
- Naval Postgraduate School