Feudal C

5/11/99


Click here to start


Table of Contents

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

Single Owner, No Cycles Lemma

No Memory Leaks

No Dangling References

Conclusion

Author: Dan Bonachea

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