C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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