System correctness.

Alan Ballard Dennis Tsichritzis

Published in: SIGPLAN-SIGOPS Interface Meeting (1973)

Keyphrases

data sets
databases
artificial intelligence
np hard
management system
general purpose
data mining
machine learning
data structure
data management
provably correct