Unification of identifiers in the Sea-Cloud system.

Zheng He Kunpeng Bai Dongdai Lin Chuankun Wu

Published in: Frontiers Comput. Sci. (2018)

Keyphrases

higher order
source code
equational theories
bayesian networks
prior knowledge
theorem prover
databases
data mining
database systems
active learning
general purpose
knuth bendix