Login / Signup
Enhancing constraint-based repair of data structure errors that recur using memoization.
Nima Dini
Razieh Nokhbeh Zaeem
Sarfraz Khurshid
Published in:
SAC (2021)
Keyphrases
</>
data structure
error analysis
constraint satisfaction
efficient data structures
space efficient
main memory
quadtree
neural network
artificial intelligence
website
relational databases
data types
suffix array