Login / Signup
QBF Programming with the Modeling Language Bule.
Jean Christoph Jung
Valentin Mayer-Eichberger
Abdallah Saffidine
Published in:
SAT (2022)
Keyphrases
</>
modeling language
code generation
metamodel
programming language
formal semantics
design rationale
quantified boolean formulas
declarative language
constraint language
uml profile
cooperative
business process modeling
control flow
language constructs
development process
constraint satisfaction
distributed systems