A hoare-like proof system for analysing the computation time of programs
- 31 October 1987
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 9 (2) , 107-136
- https://doi.org/10.1016/0167-6423(87)90029-3
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A simple applicative language: mini-MLPublished by Association for Computing Machinery (ACM) ,1986
- Mechanical analysis of program complexityPublished by Association for Computing Machinery (ACM) ,1985
- Ten Years of Hoare's Logic: A Survey—Part IACM Transactions on Programming Languages and Systems, 1981
- Soundness and Completeness of an Axiom System for Program VerificationSIAM Journal on Computing, 1978
- Verifying Program PerformanceJournal of the ACM, 1976
- Axiomatic approach to total correctness of programsActa Informatica, 1974