Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

A constructive approach to the problem of program correctness

1968238 citationsJournal Article

Authors

E. Dijkstra · Eindhoven University of Technology

Topics & Keywords

Parallel Computing and Optimization Techniques Distributed and Parallel Computing Systems Embedded Systems Design Techniques

Publication Details

Published in: BIT Numerical Mathematics

Volume 8, Issue 3, pp. 174-186

DOI: 10.1007/bf01933419

Field-Weighted Citation Impact: 5.05

A constructive approach to the problem of program correctness | Researchclopedia