Title: Types for hierarchic shapes
Authors: Drossopoulou, Sophia ×
Clarke, Dave
Noble, James #
Issue Date: Mar-2006
Publisher: Springer
Series Title: Lecture notes in computer science vol:3924 pages:1-6
Conference: ESOP edition:15 location:Vienna, Austria date:27-28 March, 2006
Abstract: Heap entities tend to contain complex references to each other. To manage this complexity, types which express shapes and hierarchies have been suggested. We survey type systems which describe such hierarchic shapes, how these types are used for reasoning about programs, and applications in concurrent programming.
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Non-KU Leuven Association publications
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
fulltext.pdfMain article Published 288KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science