Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous.

Adrien Pommellet Tayssir Touili

Published in: APLAS (2017)

Keyphrases

static analysis
grand challenges
recursive programs
program synthesis
logic programs
transformation rules
dynamic analysis
grand challenge
technology enhanced learning
source code
regular expressions
pattern matching
abstract interpretation
logic programming
test suite
database
data sources
data streams
data sets