NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
A Formal Semantics for the SRI Hierarchical Program Design MethodologyA formal statement of what it means to use (a subset of) the methodology is presented. It is formally defined that some specified module exists and what it means to say that another module is paid correctly implemented on top of it. No attention is to motivation, either of the methodology or of the formal development of it. Concentration is entirely upon mathematical succinctness and precision. A discussion is presented of how to use certain INTERLISP programs which implement the formal definitions. Among these are a program which generates Floyd like verification conditions sufficient to imply the correctness of a module implementation.
Document ID
19840017250
Acquisition Source
Legacy CDMS
Document Type
Other
Authors
Boyer, R. S.
(SRI International Corp. Menlo Park, CA, United States)
Moore, J. S.
(SRI International Corp. Menlo Park, CA, United States)
Date Acquired
August 12, 2013
Publication Date
August 1, 1983
Publication Information
Publication: Invest., Develop., and Evaluation of Performance Proving for Fault-Tolerant Computers
Subject Category
Computer Programming And Software
Accession Number
84N25318
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.
Document Inquiry

Available Downloads

There are no available downloads for this record.
No Preview Available