Reasoning About a Machine with Local Capabilities - Provably Safe Stack and Return Pointer Management.
Lau SkorstengaardDominique DevrieseLars BirkedalPublished in: ESOP (2018)
Keyphrases
- management system
- information management
- information systems
- knowledge management
- project management
- data processing
- data management
- decision making
- processing capabilities
- data structure
- batch processing
- optimal solution
- decision makers
- information technology
- spatial reasoning
- qualitative reasoning
- customer relationship management
- case study
- data sets