Even Simple Programs are Hard to Analyze.

Neil D. Jones Steven S. Muchnick

Published in: POPL (1975)

Keyphrases

machine learning
databases
database systems
information systems
website
similarity measure
multiscale
data structure
user interface
control system
automatic programming
provably correct