Pages that link to "Item:Q2802436"
From MaRDI portal
The following pages link to Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs (Q2802436):
Displaying 5 items.
- Termination of floating-point computations (Q850498) (← links)
- Termination and complexity analysis for programs with bitvector arithmetic by symbolic execution (Q1647969) (← links)
- Automatically proving termination and memory safety for programs with pointer arithmetic (Q2362494) (← links)
- Proving Termination of Programs with Bitvector Arithmetic by Symbolic Execution (Q4571133) (← links)
- \textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches (Q6151758) (← links)