Can we learn some PL theory?: how to make use of a corpus of subtype checks.

Artem Pelenitsyn

Published in: ISSTA/ECOOP Workshops (2018)

Keyphrases

theoretical framework
database
computational model
theoretical basis
test set
general theory
data sets
databases
machine learning
genetic algorithm
artificial intelligence
efficient learning
formal theory
annotated corpus