Work Related to Lighthouse

8 pages , UCLA , March 2007.

NESL Technical Report #: TR-UCLA-NESL-200703-08

Recent work on ownership often describes ownership using flow insensitive or flow 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 flow 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.

• Roy S Shea

• PDF file of paper

• Lighthouse : Lighthouse

Report