Pages that link to "Item:Q604389"
From MaRDI portal
The following pages link to Verifying pointer safety for programs with unknown calls (Q604389):
Displaying 4 items.
- Automated verification of shape, size and bag properties via user-defined predicates in separation logic (Q436400) (← links)
- Verifying pointer safety for programs with unknown calls (Q604389) (← links)
- Automatically proving termination and memory safety for programs with pointer arithmetic (Q2362494) (← links)
- Languages and Compilers for Parallel Computing (Q5714219) (← links)