A Flow-Insensitive-Complete Program Representation.

Solène Mirliaz David Pichardie

Published in: VMCAI (2022)

Keyphrases

optical flow
image representation
representation scheme
program execution
information systems
image processing
clustering algorithm
cellular automata
feature representation
computer programs
static analysis
logical representation