NESL Technical Report #: 2007-3-8
Abstract: Recent work on ownership often describes ownership using ﬂow insensitive or ﬂow sensitive types. At times this boundary is not perfectly clear. Flow insensitive ownership analysis tends to use simpler models that facilitate static checking of the system in question. Flow sensitive ownership analysis sit upon more robust languages with tighter ties between the language and system annotations. Lighthouse occupies a point on the design spectrum just shy of the ﬂow sensitive analysis and uses a minimal set of program annotations. It is important to note that the novel aspects of Lighthouse do not come from new analysis techniques, but from the information that Lighthouse extracts from the systems that it examines.
Page (Count): 8
Public Document?: Yes
NESL Document?: Yes
Document category: Report