Feudal C
Outline
The Basic Idea
Ownership and the Owner Tree
Flavors
Goals of Feudal C
Language Syntax
Small Example
Partial Typing Rules
Partial Operational Semantics
Memory Safety Roadmap
Single Owner, No Cycles Lemma
No Memory Leaks
No Dangling References
Conclusion
Email: bonachea@cs.berkeley.edu
Home Page: http://www.cs.berkeley.edu/~bonachea/263
Other information: Presented 5/10/99 by Scott McPeak, Dan Bonachea and Carol Hurwitz
Download presentation source