Feudal C CS 263 Project, Fall 1999 Dan Bonachea Carol Hurwitz Scott McPeak

Abstract:

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)

Authors:

Ongoing Research:

Memory layout snapshots for various real programs