Projects
object_control_i.pdf
Description:
This file includes an analytic approach to characterizing sharing and encapsulation, and a lightweight ownership inference algorithm which explains object control invariants, dynamic detection of likely object control invariants, scalability: TSafe case study, related work, and conclusion.
Resource Type:
Projects
pdf
299 kB
object_control_i.pdf
Course Info
Instructor
Departments
As Taught In
Fall
2005
Level
Learning Resource Types
group_work
Projects with Examples
