The following pages link to Bruce Russell (Q1138901):
Displaying 4 items.
- Correctness of the compiling process based on axiomatic semantics (Q1138902) (← links)
- Axiomatic data type specifications: A first order theory of linear lists (Q1153682) (← links)
- On an equivalence between continuation and stack semantics (Q1247741) (← links)
- Implementation Correctness Involving a Language with <scp>goto</scp> Statements (Q4133101) (← links)
