Retrieving Library Identifiers via Equational Matching of Types.

Published in: CADE (1990)

Keyphrases

matching algorithm
theorem proving
source code
pattern matching
image matching
feature matching
neural network
object recognition
data model
open source
logic programs
keypoints
shape matching
theorem prover