Oracle-Guided Heap Interpolant Synthesis

Nishant Totla

EECS Department
University of California, Berkeley
Technical Report No. UCB/EECS-2016-158
October 19, 2016

http://www2.eecs.berkeley.edu/Pubs/TechRpts/2016/EECS-2016-158.pdf

Advisor: Sanjit A. Seshia


BibTeX citation:

@mastersthesis{Totla:EECS-2016-158,
    Author = {Totla, Nishant},
    Title = {Oracle-Guided Heap Interpolant Synthesis},
    School = {EECS Department, University of California, Berkeley},
    Year = {2016},
    Month = {Oct},
    URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2016/EECS-2016-158.html},
    Number = {UCB/EECS-2016-158}
}

EndNote citation:

%0 Thesis
%A Totla, Nishant
%T Oracle-Guided Heap Interpolant Synthesis
%I EECS Department, University of California, Berkeley
%D 2016
%8 October 19
%@ UCB/EECS-2016-158
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2016/EECS-2016-158.html
%F Totla:EECS-2016-158