Keywords
CorrectnessComputer scienceProgramming languageIntrusionCoding (social sciences)Proof of conceptProcess (computing)Theoretical computer scienceAlgorithmMathematicsOperating systemStatistics
Affiliated Institutions
Related Publications
Proof of a program
A proof is given of the correctness of the algorithm “Find.” First, an informal description is given of the purpose of the program and the method used. A systematic technique is...
The temporal logic of programs
A unified approach to program verification is suggested, which applies to both sequential and parallel programs. The main proof method suggested is that of temporal reasoning in...
Yacc : Yet Another Compiler Compiler
Yacc provides a general tool for imposing structure on the input to a computer program. The Yacc user prepares a specification of the input process; this includes rules describi...
On symmetrical multilevel diversity coding
Symmetrical multilevel diversity coding with independent data streams has been studied by Roche et al. (1992), and the admissible coding rate region was determined for the case ...
<i>MMPBSA.py</i>: An Efficient Program for End-State Free Energy Calculations
MM-PBSA is a post-processing end-state method to calculate free energies of molecules in solution. MMPBSA.py is a program written in Python for streamlining end-state free energ...
Publication Info
- Year
- 1978
- Type
- book-chapter
- Pages
- 101-115
- Citations
- 156
- Access
- Closed
External Links
Social Impact
Altmetric
PlumX Metrics
Social media, news, blog, policy document mentions
Citation Metrics
156
OpenAlex
Cite This
C. A. R. Hoare
(1978).
Proof of a Program: FIND.
, 101-115.
https://doi.org/10.1007/978-1-4612-6315-9_10
Identifiers
- DOI
- 10.1007/978-1-4612-6315-9_10