Non-Obfuscated Unprovable Programs & Many Resultant Subtleties.

John Case Michael Ralston

Published in: Log. Methods Comput. Sci. (2016)

Keyphrases

reverse engineering
control structures
genetic algorithm
artificial intelligence
databases
e learning
multiscale
deductive databases
computer programs
intermediate level
automatic programming