Oracle-Guided Heap Interpolant Synthesis

Nishant Totla

EECS Department, University of California, Berkeley

Technical Report No. UCB/EECS-2016-158

October 19, 2016

This publication is archived. It is kept only for reference purposes, so it is no longer being updated and may not meet accessibility standards. If you need this content in a different format, please email webteam@eecs.berkeley.edu.

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

Advisors: 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