Pages that link to "Item:Q583874"
From MaRDI portal
The following pages link to Reasoning about procedures as parameters in the language L4 (Q583874):
Displaying 5 items.
- Procedures, parameters, and abstraction: Separate concerns (Q1113659) (← links)
- Semantics and reasoning with free procedures (Q1193855) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- Horn Clause Solvers for Program Verification (Q2947164) (← links)
- Complexity of proving program correctness (Q5096233) (← links)