The following pages link to Proof of a program (Q5621948):
Displaying 19 items.
- A calculus of refinements for program derivations (Q1111362) (← links)
- A logical basis for programming methodology (Q1157140) (← links)
- Hierarchical development of programming languages (Q1161053) (← links)
- Reasoning about programs (Q1212353) (← links)
- The use of Hoare's method of program verification for the Quicksort algorithm (Q1239604) (← links)
- The validity of return address schemes (Q1394113) (← links)
- Computing and estimating the volume of the solution space of SMT(LA) constraints (Q1659994) (← links)
- Automatic program verification. I: A logical basis and its implementation (Q1843170) (← links)
- Turing's 1949 paper in context (Q2011633) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- Axiomatic approach to total correctness of programs (Q2561482) (← links)
- Performance Estimation Using Symbolic Data (Q2842645) (← links)
- Current methods for proving program correctness (Q3911363) (← links)
- On compound statements in a conversational language (Q4160369) (← links)
- Verification of a program complex (Q4194415) (← links)
- Automatic construction of test sets: Practical approach (Q4560360) (← links)
- Journeys in non-classical computation I: A grand challenge for computing research (Q5492115) (← links)
- An experiment in structured programming (Q5643572) (← links)
- Efficient randomized algorithms for robust estimation of circular arcs and aligned ellipses (Q5943320) (← links)
