StkTokens: Enforcing Well-bracketed Control Flow and Stack Encapsulation using Linear Capabilities - Technical Report with Proofs and Details.
Lau SkorstengaardDominique DevrieseLars BirkedalPublished in: CoRR (2018)
Keyphrases
- control flow
- technical report
- data flow
- process model
- software testing
- cooperative
- computational power
- object oriented databases
- theorem prover
- business process models
- formal semantics
- theorem proving
- information integration
- databases
- object oriented
- training set
- feature space
- knowledge base
- decision making
- artificial intelligence