Back to Results
First PageMeta Content
Data types / Computing / Theoretical computer science / Software engineering / Heap / Tree / Separation logic / Variable / Parse tree / Logic programming / Linked list


Learning to Decipher the Heap for Program Verification Marc Brockschmidt1 , Yuxin Chen2 , Byron Cook3 , Pushmeet Kohli1 , Daniel Tarlow1 1 Microsoft Research 2 ETH Zurich 3 University College London
Add to Reading List

Document Date: 2016-06-04 11:31:07


Open Document

File Size: 238,44 KB

Share Result on Facebook
UPDATE