Journal ArticleDOI
Program verification: the very idea
Reads0
Chats0
TLDR
The success of program verification as a generally applicable and completely reliable method for guaranteeing program performance is not even a theoretical possibility.Abstract:
The notion of program verification appears to trade upon an equivocation. Algorithms, as logical structures, are appropriate subjects for deductive verification. Programs, as causal models of those structures, are not. The success of program verification as a generally applicable and completely reliable method for guaranteeing program performance is not even a theoretical possibility.read more
Citations
More filters
The Standard Model for Programming Languages: The Birth of a Mathematical Theory of Computation
TL;DR: Gabbrielli as discussed by the authors traced the interaction between mathematical logic and programming languages, identifying some of the driving forces of this process, concluding with the emergence of more "intensional" semantics, like the sequential algorithms on concrete data structures.
Journal ArticleDOI
Some Philosophical Issues in Computer Science
TL;DR: The essays included in the special issue dedicated to the philosophy of computer science examine new philosophical questions that arise from reflection upon conceptual issues in computer science and the insights such an enquiry provides into ongoing philosophical debates.
Planning the Software Industrial Revolution
TL;DR: The possibility of a software industrial revolution, in which programmers stop coding everything from scratch and begin assembling applications from well-stocked catalogs of reusable software components, is an enduring dream that continues to elude our grasp.
Book ChapterDOI
Validity and Correctness Before the OS: the Case of LEO I and LEO II
TL;DR: The present study focuses on the hardware testing, data validation and program correctness techniques designed and implemented for LEO I and II machines in the UK during the 1950s.
Book ChapterDOI
Web Service Test Evolution
TL;DR: This paper proposes a semi-automated approach to solving this test maintenance problem and explains how it has been implemented in a web service testing tool by employing data reverse engineering techniques.
References
More filters
Book
The Structure of Scientific Revolutions
TL;DR: The Structure of Scientific Revolutions as discussed by the authors is a seminal work in the history of science and philosophy of science, and it has been widely cited as a major source of inspiration for the present generation of scientists.