Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Precise and Compact Modular Procedure Summaries for Heap Manipulating Programs
 

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