Handbook of theoretical computer science (vol. B)
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
An axiomatic basis for computer programming
Communications of the ACM
On the temporal analysis of fairness
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
| Hi-index | 0.00 |
A program logic is a language in which properties of programs can be expressed unambiguously, a semantics that specifies the meaning of the expressions of the language, and rules for manipulating those expressions in a meaning-respecting way in order to calculate or demonstrate the truth of assertions in the language. The study of logics of programs is of value in understanding how both people and computers may reason about software, either autonomously or cooperatively. Applications include program verification, automatic programming (q.v.), and program analysis for optimization and auditing purposes.