Journal ArticleDOI
The application of formal logic to programs and programming
TLDR
The use of first-order predicate calculus in proving correctness and other properties of programs is shown to be possible in practical situations.Abstract:
The use of first-order predicate calculus in proving correctness and other properties of programs is shown to be possible in practical situations.
The necessary concepts and theory are explained, and some practical examples worked through.read more
Citations
More filters
Proceedings ArticleDOI
The current state of proving programs correct
TL;DR: Presented are successful efforts in proving that computer programs are correct, the methods used, the wide class of programs that have been proved, and implemented computer systems for demonstrating correctness.
Journal ArticleDOI
Queueing Networks: A Critique of the State of the Art and Directions for the Future
TL;DR: Since the early 1970s, the application of queuemg network models to computer system performance analysts has generated considerable interest and there has been considerable progress both m the fundamental theory and in practical experience.
Journal ArticleDOI
A guide to programming tools and techniques
TL;DR: Current programming tools and techniques facilitating program development and maintenance under Operating System/360 and/370 are collected and discussed and categorized according to their function.
Proceedings ArticleDOI
Derivation of axiomatic definitions of programming languages from algorithmic definitions
TL;DR: The proof methods of Manna and Ashcroft can be applied to an algorithmic definition in, e.g. the Vienna Definition Language to deduce theorems which constitute an axiomatic definition of precisely the same language.
References
More filters
Book
Introduction to Mathematical Logic
TL;DR: This long-established text continues to expose students to natural proofs and set-theoretic methods and offers enough material for either a one- or two-semester course on mathematical logic.
Book ChapterDOI
Towards a Mathematical Science of Computation
TL;DR: The prospects for a mathematical science of computation is discussed and it is shown that from Newton’s law of gravitation and his laws of motion, one can deduce that the planetary orbits obey Kepler's laws.
Proceedings Article
Towards a Mathematical Science of Computation.
TL;DR: In this paper, the authors discuss the prospects for a mathematical science of computation, and discuss the basic assumptions of the entities treated by the science, such as Newton's law of gravitation and Kepler's laws of motion.
Journal ArticleDOI
The correctness of programs
TL;DR: This paper is concerned with the relationship between the correctness of programs and the satisfiability (or unsatisfiability) of certain formulas of the first-order predicate calculus.