Deductive Program Repair.

Etienne Kneuss Manos Koukoutos Viktor Kuncak

Published in: CAV (2) (2015)

Keyphrases

functional programs
computer programs
information systems
static analysis
web services
video sequences
consistent query answering