Pages that link to "Item:Q1139368"

The following pages link to Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic (Q1139368):

Displaying 3 items.

• An observationally complete program logic for imperative higher-order functions (Q387994) (← links)
• Semantics of algorithmic languages (Q760200) (← links)
• Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. II (Q1152704) (← links)