Renraku: the One Static Analysis Model to Rule Them All.

Yuriy Tymchuk Mohammad Ghafari Oscar Nierstrasz

Published in: IWST (2017)

Keyphrases

computational model
static analysis
probabilistic model
databases
objective function
probability distribution
domain knowledge
mathematical model
conceptual model
specification language