A Formal Description of an Incremental Type-Checker for Z.

Alexandre M. L. de Vasconcelos

Published in: SBES (1994)

Keyphrases

incremental learning
similarity measure
efficient incremental
data sets
special case
data driven
incremental version