Giving Semantics to Program-Counter Labels via Secure Effects.
Andrew K. HirschEthan CecchettiPublished in: CoRR (2020)
Keyphrases
- semantically equivalent
- intended meaning
- computer programs
- training data
- stable model semantics
- training set
- programming language constructs
- conceptual model
- pairwise
- security requirements
- static analysis
- formal semantics
- control flow
- semantic information
- declarative semantics
- lightweight
- programming language
- method invocation