Verifying Well-Typedness Preservation of Refactorings using Scope Graphs.

Luka Miljak Casper Bach Poulsen Flip van Spaendonck

Published in: FTfJP@ECOOP (2023)

Keyphrases

directed graph
graph theoretic
neural network
model checking
graph matching
graph theory
random graphs
graph construction
small world
graph kernels
graph structures