FeudalC.gif (2532 bytes)

Feudal C

CS 263 Project, Fall 1999

Dan Bonachea
Carol Hurwitz
Scott McPeak



This paper defines a new imperative language called Feudal C which is essentially a restricted subset of C. Feudal C provides automatic memory management and statically prevents dangling references and memory leaks with very low runtime overhead. The key enabling insight is that memory management information in typical programs is static. This paper presents the syntax, typing rules and operational semantics for Feudal C, and proves memory safety for the language.

HTML Presentation

Paper (postscript format)

Paper (acrobat pdf format)


Dan Bonachea Email Home Page
Scott McPeak   Email Home Page
Carol Hurwitz Email Home Page

Ongoing Research:

Memory layout snapshots for various real programs