Pages that link to "Item:Q1172384"
From MaRDI portal
The following pages link to A sound and relatively* complete Hoare-logic for a language with higher type procedures (Q1172384):
Displaying 6 items.
- An observationally complete program logic for imperative higher-order functions (Q387994) (← links)
- Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control (Q444460) (← links)
- Wythoff games, continued fractions, cedar trees and Fibonacci searches (Q761983) (← links)
- Correctness of programs with Pascal-like procedures without global variables (Q790607) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics (Q5097622) (← links)
