Direct Construction of Program Alignment Automata for Equivalence Checking.

Manish Goyal Muqsit Azeem Kumar Madhukar R. Venkatesh

Published in: CoRR (2021)

Keyphrases

cellular automata
computer programs
test cases
image alignment
information retrieval
genetic algorithm
programming environment
finite automata
case study
query language
logic programming
dynamic time warping
finite state
equivalence relation
datalog programs