Login / Signup
Formal Validation and Model Synthesis for Domain-specific Languages by Logic Solvers.
Oszkár Semeráth
Published in:
SRC@MoDELS (2016)
Keyphrases
</>
formal model
computational model
conceptual model
probabilistic model
logic programming
high level
software engineering
theoretical framework
test set
maximum likelihood
general purpose
management system
probability distribution
prior knowledge
bayesian networks
training data
database systems