First Page | Document Content | |
---|---|---|
Date: 2016-06-04 11:31:07Data 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 LondonAdd to Reading ListSource URL: www.cs.toronto.eduDownload Document from Source WebsiteFile Size: 238,44 KBShare Document on Facebook |