Compiling and Executing Declarative Modeling Languages to Gecode.

Raffaele Cipriano Agostino Dovier Jacopo Mauro

Published in: ICLP (2008)

Keyphrases

modeling language
declarative language
metamodel
knowledge representation
databases
high level
constraint language
design patterns
business process modeling
cooperative
expert systems
source code
development process
formal methods