Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management - Technical Appendix Including Proofs and Details.
Lau SkorstengaardDominique DevrieseLars BirkedalPublished in: CoRR (2019)
Keyphrases
- detailed discussion
- management information systems
- knowledge management
- data structure
- management system
- data processing
- theorem proving
- decision making
- information management
- network management
- information systems
- neural network
- formal proof
- upper bound
- wide variety
- technical systems
- table of contents
- complete axiomatization
- business managers
- qualitative reasoning
- flowshop
- access control
- decision support
- information technology
- search algorithm