Automatic Data Structure Repair usingSeparation Logic.

Guolong Zheng Quang Loc Le ThanhVu Nguyen Quoc-Sang Phan

Published in: ACM SIGSOFT Softw. Eng. Notes (2018)

Keyphrases

data structure
data driven
logic programming
fully automatic
classical logic
proof theory
efficient data structures
database
information systems
digital libraries
graphical models
tree structure
semi automatic
modal logic
space efficient
linear logic