Operationally proving memory access violations in Isabelle/HOL.
Sharar AhmadiBrijesh DongolMatt GriffinPublished in: Sci. Comput. Program. (2024)
Keyphrases
- memory access
- theorem prover
- natural deduction
- data access
- main memory
- inference rules
- external memory
- shared memory
- access patterns
- processing units
- memory management
- high volume
- first order logic
- memory hierarchy
- data management
- data objects
- parallel processing
- database management systems
- data storage
- databases
- data structure