Types and Invariants in the Refinement Calculus.

Published in: MPC (1989)

Keyphrases

pattern recognition
data sets
real world
data mining
decision trees
search algorithm
expressive power
formal language