Pages that link to "Item:Q3922135"

The following pages link to Ada exception handling: an axiomatic approach (Q3922135):

Displaying 3 items.

• Proof theory for exception handling in a tasking environment (Q918725) (← links)
• Partial correctness of exits from concurrent structures (Q1080654) (← links)
• A Hoare-like verification system for a language with an exception handling mechanism (Q1176241) (← links)