The Specification of Algorithms.
Abstract
Methods for the specification of algorithms are explored. A discussion of desirable features is given and a method based on conventional ideas is proposed. Examples are given, followed by a discussion of shortcomings and related problems.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jul 01, 1975
- Accession Number
- ADA013564
Entities
People
- Richard Franke
Organizations
- Naval Postgraduate School