Correctness of Program Transformations as a Termination Problem.

Conrad Rau David Sabel Manfred Schmidt-Schauß

Published in: IJCAR (2012)

Keyphrases

neural network
programming environment
database
hidden markov models
open source
test cases
computer programs
term rewriting