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