Towards Correctness of Program Transformations Through Unification and Critical Pair Computation

Conrad Rau Manfred Schmidt-Schauß

Published in: UNIF (2010)

Keyphrases

pairwise
higher order
artificial intelligence
expert systems
computer vision
software engineering
computer programs
test cases
efficient computation
equational theories
real time
concurrent programs
static analysis
source code
similarity measure
clustering algorithm
machine learning