REFINITY to Model and Prove Program Transformation Rules.

Dominic Steinhöfel

Published in: APLAS (2020)

Keyphrases

transformation rules
data sets
high level
management system
databases
artificial intelligence
data structure
software architecture
metamodel