The following pages link to (Q3347263):
Displaying 9 items.
- An observationally complete program logic for imperative higher-order functions (Q387994) (← links)
- Reasoning about procedures as parameters in the language L4 (Q583874) (← links)
- The semantics of second-order lambda calculus (Q751294) (← links)
- Equivalences among logics of programs (Q801684) (← links)
- Semantical analysis of specification logic (Q913527) (← links)
- Proof obligations for blocks and procedures (Q919838) (← links)
- Full abstraction for the second order subset of an Algol-like language (Q1369235) (← links)
- Recursive programs and denotational semantics in absolute logics of programs (Q2639051) (← links)
- From Logic to Theoretical Computer Science – An Update (Q5452171) (← links)
