|
" Temporal Logic of Programs "
by Fred Kröger.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
753050
|
| Doc. No
|
:
|
b573011
|
| Main Entry
|
:
|
by Fred Kröger.
|
| Title & Author
|
:
|
Temporal Logic of Programs\ by Fred Kröger.
|
| Publication Statement
|
:
|
Berlin, Heidelberg : Springer Berlin Heidelberg, 1987
|
| Series Statement
|
:
|
EATCS monographs on theoretical computer science, 8.
|
| ISBN
|
:
|
3642715494
|
|
|
:
|
: 3642715516
|
|
|
:
|
: 9783642715495
|
|
|
:
|
: 9783642715518
|
| Contents
|
:
|
Logic and Programs --; Historical Remarks --; Some Concepts and Notions of Classical Logic --; I. Propositional Temporal Logic --; 1. A Language TTA of Propositional Temporal Logic --; 2. Semantics of TTA --; 3. Temporal Logical Laws --; 4. Some Further Temporal Operators --; II. Axiomatization of Propositional Temporal Logic --; 5. The Formal System?TA --; 6. Completeness of?TA --; 7. Induction Principles --; III. First-Order Temporal Logic --; 8. First-Order Temporal Languages and Their Semantics --; 9. The Formal System?TP --; 10. The Principle of Well-Founded Orderings --; 11. Additional Propositional Variables --; IV. Temporal Semantics of Programs --; 12. Programs --; 13. Execution Sequences of Programs --; 14. Program Axioms --; 15. Description of Program Properties --; V. Invariance and Precedence Properties of Programs --; 16. The Basic Invariant Method --; 17. Examples of Applications --; 18. Invariant Methods for Precedence Properties --; 19. Examples of Applications --; VI. Eventuality Properties of Programs --; 20. Fair Execution Sequences --; 21. The Finite Chain Reasoning Method --; 22. The Method of Well-Founded Orderings --; 23. Examples of Applications --; VII. Special Methods for Sequential Programs --; 24. Hoare's Calculus --; 25. The Intermittent Assertion Method --; 26. Examples of Applications --; Bibliographical Remarks --; Appendix: Table of Laws and Rules --; References.
|
| Abstract
|
:
|
Introduction to the temporal logic of - in particular paral- lel - programs. Divided into three main parts: - Presenta- tion of the pure temporal logic: language, semantics, and proof theory; - Representation of programs and their proper- ties within the language of temporal logic; - Application of the logical apparatus to the verification of program proper- ties including a new embedding of Hoare's logic into the temporal framework.
|
| Subject
|
:
|
Computer science.
|
| Subject
|
:
|
Logic design.
|
| LC Classification
|
:
|
QA76.9.L63B947 1987
|
| Added Entry
|
:
|
Fred Kröger
|
| |