Temporal Safety for Stack Allocated Memory on Capability Machines.
Stelios TsampasDominique DevrieseFrank PiessensPublished in: CSF (2019)
Keyphrases
- spatio temporal
- memory requirements
- temporal databases
- temporal information
- temporal constraints
- temporal data
- spatial locality
- spatial and temporal
- dynamic allocation
- case study
- random access
- memory usage
- temporal relations
- memory space
- limited memory
- temporal evolution
- temporal dimension
- time stamped
- temporal structure
- optimal allocation
- memory management
- memory size
- low memory
- safety analysis
- main memory