Programs as Proofs: A Synopsis.

Robert L. Constable

Published in: Inf. Process. Lett. (1983)

Keyphrases

computer programs
data streams
sliding window
data structure
theorem proving
automatic programming
wavelet synopses
data sets
data mining
knowledge base
high level
association rules
xml data