Reasoning about a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management.
Lau SkorstengaardDominique DevrieseLars BirkedalPublished in: ACM Trans. Program. Lang. Syst. (2020)
Keyphrases
- decision support
- information systems
- data processing
- knowledge management
- management system
- batch processing
- spatial reasoning
- flowshop
- information management
- data structure
- decision making
- databases
- computational complexity
- database
- upper bound
- e learning
- data management
- artificial intelligence
- information retrieval
- neural network
- competitive advantage
- data sets