Pages that link to "Item:Q1145492"

The following pages link to Goto statements: Semantics and deduction systems (Q1145492):

Displaying 4 items.

• A compositional natural semantics and Hoare logic for low-level languages (Q877026) (← links)
• Proof theory for exception handling in a tasking environment (Q918725) (← links)
• Weakest preconditioned goto axiom (Q2680222) (← links)
• Precision and the Conjunction Rule in Concurrent Separation Logic (Q5739357) (← links)