09301 Executive Summary – Typing, Analysis, and Verification of Heap-Manipulating Programs

2010/01/01 by Mooly Sagiv, Sagiv, Mooly, Arnd Poetzsch‐Heffter +3
Computer Science · #Intelligent Tutoring Systems and Adaptive Learning #Logic, programming, and type systems

paper · doi:10.4230/dagsemproc.09301.2

Abstract

The document contains an executive summary of the Dagstuhl Seminar "Typing, Analysis, and Verification of Heap-Manipulating Programs" that took place July 2009.

Related

• 09301 Abstracts Collection – Typing, Analysis, and Verification of Heap-Manipulating Programs
• 05451 Executive Summary – Beyond Program Slicing Dagstuhl Seminar
• 09411 Executive Summary – Interaction versus Automation: The two Faces of Deductions
• 07191 Summary – Event Processing
• 10181 Executive Summary – Program Development for Extreme-Scale Computing