Source Code Analysis with a Temporal Extension of First-Order Logic.
David ComeJulien BrunelDavid DoosePublished in: SBMF (2018)
Keyphrases
- source code
- first order logic
- static analysis
- open source
- mining software repositories
- software systems
- expressive power
- software maintenance
- impact analysis
- theorem proving
- probabilistic reasoning
- inference rules
- software projects
- inductive logic programming
- theorem prover
- temporal data
- knowledge representation
- database
- plagiarism detection
- artificial intelligence
- manual inspection
- relational algebra
- software engineering
- transitive closure
- case study
- representation language
- markov logic
- databases