Searching Entangled Program Spaces.

James Koppel Zheng Guo Edsko de Vries Armando Solar-Lezama Nadia Polikarpova

Published in: CoRR (2022)

Keyphrases

computer vision
real world
information systems
computer programs
static analysis
program execution
databases
web services
three dimensional
special case
riemannian manifolds
topological spaces