System M: A Program Logic for Code Sandboxing and Identification.
Limin JiaShayak SenDeepak GargAnupam DattaPublished in: CoRR (2015)
Keyphrases
- programs written
- program understanding
- static analysis
- program code
- java programs
- computer programs
- source code
- fault localization
- modal logic
- program synthesis
- automatic identification
- legacy software
- control flow
- declarative semantics
- concurrent programming
- deontic logic
- recursive programs
- dynamic analysis
- set theory
- knowledge base
- automated reasoning
- model checking
- operating system
- logic programming
- knowledge representation
- expert systems
- case study