Searching entangled program spaces.

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

Published in: Proc. ACM Program. Lang. (2022)

Keyphrases

multimedia
search algorithm
digital libraries
computer programs
static analysis
multi agent systems
expert systems
program execution