Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-vous.
Adrien PommelletTayssir TouiliPublished in: CoRR (2019)
Keyphrases
- static analysis
- grand challenges
- recursive programs
- program synthesis
- logic programs
- transformation rules
- grand challenge
- dynamic analysis
- technology enhanced learning
- source code
- abstract interpretation
- regular expressions
- test suite
- background knowledge
- relational databases
- inductive logic programming
- social network analysis
- logic programming
- domain knowledge