Pages that link to "Item:Q5178034"

The following pages link to From process logic to program logic (Q5178034):

Displaying 3 items.

• An observationally complete program logic for imperative higher-order functions (Q387994) (← links)
• Time Bounds for General Function Pointers (Q3178280) (← links)
• Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness (Q5262979) (← links)