Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal Mu Calculus.

Julian C. Bradfield Perdita Stevens

Published in: FASE (2012)

Keyphrases

special case
closely related
search space
neural network
machine learning
development environment
datalog programs