Toggle navigation
Home
People
Projects
Documents
Products
Courses
Login
Editing document
Tryear
Trmonth
Trnumber
Title
Abstract
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.
Filename
File
Urlpdfpaper
Urlsrcpaper
Urlpdfpresentation
Urlsrcpresentation
Urlavmedia
Urldoi
Urlpublisher
Urlgooglescholar
Urlciteseer
Pubin
Pubvol
Pubnum
Pubnum end
Pubpagefirst
Pubpagelast
Pubpagecount
Pubdate
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
January
February
March
April
May
June
July
August
September
October
November
December
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
Pubdate end
2020
2021
2022
2023
2024
2025
2026
2027
2028
2029
2030
January
February
March
April
May
June
July
August
September
October
November
December
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
Pubplace
Publisher
Ispublic
Islabdocument
Miscattributes
Document category
Main research area
Show
|
Back