A complete logic for reasoning about programs via nonstandard model theory II
- 31 December 1982
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 17 (3) , 259-278
- https://doi.org/10.1016/0304-3975(82)90025-1
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Programs and program verifications in a general settingTheoretical Computer Science, 1981
- Soundness and Completeness of an Axiom System for Program VerificationSIAM Journal on Computing, 1978
- On the termination of program schemasInformation and Control, 1975
- Model theory for tense logicsAnnals of Mathematical Logic, 1975