The specification of algorithms
Franke, Richard H.
MetadataShow full item record
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.
NPS Report NumberNPS-53FeJ5Q-71
Showing items related by title, author, creator and subject.
Lutz, Robert Edward, Jr. (Monterey, California. Naval Postgraduate School, 1971-06);A discussion of the problem of the irreducibility of polynomials in the ring of integral polynomials establishes the framework of the research. A transformational scheme is postulated to facilitate investigation of the ...
Kopas, Robert George (Monterey, California. Naval Postgraduate School, 1989-06);The purpose of this thesis is to design a type checker for the SPEC language and to investigate its implementation using an attribute grammar tool. SPEC is a formal language for writing black-box specifications for large ...
Blanton, Gerald Bertram (Monterey, California. Naval Postgraduate School, 1980-09);This thesis presents the detailed design for a dynamic linker suitable for microcomputer operation. The design exhibits the usual property of dynamic linking in that the binding of in terprocedure symbolic references ...