The specification of algorithms

Thumbnail Image
Files
specificationofa00fran.pdf (2.25 MB)
Authors
Franke, Richard H.
Subjects
algorithm
specification
Advisors
Date of Issue
1975-07
Date
Technical Report For Period April 1975 - June 1975
Publisher
Monterey, California. Naval Postgraduate School
Language
eng
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.
Type
Technical Report
Description
URI
https://hdl.handle.net/10945/30194
Series/Report No
Department
Organization
Identifiers
NPS Report Number
NPS-53FeJ5Q-71
Sponsors
supported in part by the Advanced Digital Systems Architecture Division of the Naval Electronics Laboratory Center
Funder
Format
Citation
Distribution Statement
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.
Collections
Reports