data structure repair
Recently Published Documents

TOTAL DOCUMENTS

12
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Automatic Data Structure Repair usingSeparation Logic

2019 ◽  
Vol 43 (4) ◽  
pp. 66-66
Author(s):  
Guolong Zheng ◽  
Quang Loc Le ◽  
ThanhVu Nguyen ◽  
Quoc-Sang Phan
Keyword(s):  
Data Structure ◽  
Automatic Data ◽  
Data Structure Repair

Repair Abstractions for More Efficient Data Structure Repair

2013 ◽  
pp. 235-250
Author(s):  
Razieh Nokhbeh Zaeem ◽  
Muhammad Zubair Malik ◽  
Sarfraz Khurshid
Keyword(s):  
Data Structure ◽  
Efficient Data ◽  
Data Structure Repair

scholarly journals History-Aware Data Structure Repair Using SAT

2012 ◽  
pp. 2-17 ◽  
Author(s):  
Razieh Nokhbeh Zaeem ◽  
Divya Gopinath ◽  
Sarfraz Khurshid ◽  
Kathryn S. McKinley
Keyword(s):  
Data Structure ◽  
Data Structure Repair
Load More ...
Sign in / Sign up

Export Citation Format

Share Document