A Notion of Equivalence for Refactorings with Abstract Execution.

Ole Jørgen Abusdal Eduard Kamburjan Violet Ka I Pun Volker Stolz

Published in: ISoLA (2) (2022)

Keyphrases

equivalence relation
low level
high level
higher level
data flow
transformation rules
databases
neural network
machine learning
case study
plan execution
active rules
execution environment