Pages that link to "Item:Q3763566"
From MaRDI portal
The following pages link to Effective Axiomatizations of Hoare Logics (Q3763566):
Displayed 11 items.
- Reasoning about procedures as parameters in the language L4 (Q583874) (← links)
- On the status of proving program properties in effective interpretations (Q689289) (← links)
- Wythoff games, continued fractions, cedar trees and Fibonacci searches (Q761983) (← links)
- Correctness of programs with Pascal-like procedures without global variables (Q790607) (← links)
- Weakly expressive models for Hoare logic (Q805248) (← links)
- Arithmetical completeness versus relative completeness (Q1117212) (← links)
- On termination problems for finitely interpreted ALGOL-like programs (Q1161274) (← links)
- Semantics and reasoning with free procedures (Q1193855) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- Completeness of Hoare Logic Relative to the Standard Model (Q2971129) (← links)
- The Birth of Model Checking (Q3512430) (← links)