Semantic code search via equational reasoning.

Varot Premtoon James Koppel Armando Solar-Lezama

Published in: PLDI (2020)

Keyphrases

semantic search
search algorithm
natural language
search strategy
search space
high level
source code
semantic web
search queries
spreading activation
database
semantic representation
semantic similarity
search strategies
domain independent
information extraction
neural network