Summary: Precise and Compact Modular Procedure
Summaries for Heap Manipulating Programs
Isil Dillig
Department of Computer Science
Stanford University
isil@cs.stanford.edu
Thomas Dillig
Department of Computer Science
Stanford University
tdillig@cs.stanford.edu
Alex Aiken
Department of Computer Science
Stanford University
aiken@cs.stanford.edu
Mooly Sagiv
Department of Computer Science
Tel Aviv University
msagiv@post.tau.ac.il
Abstract
We present a strictly bottom-up, summary-based, and precise heap

Source: Aiken, Alex - Department of Computer Science, Stanford University

Collections: Computer Technologies and Information Sciences