Well structured program equivalence is highly undecidable

Robert Goldblatt Marcel Jackson

Published in: CoRR (2011)

Keyphrases

datalog programs
sufficient conditions
structured data
computer programs
program execution
real time
machine learning
computer vision
clustering algorithm
case study
multiscale
reinforcement learning
computational complexity
hidden markov models
integrity constraints
static analysis