Patent for relational theory for OO memory management?

From: Nilone <>
Date: Thu, 3 Sep 2009 23:59:34 -0700 (PDT)
Message-ID: <>

Not sure what to make of this:

USPTO Application #: 20080222602
Title: Declarative object identity using relation types Abstract: The present invention provides a programming model based on a relational view of the heap which defines identity declaratively, obviating the need for equals( ) and hashcode( ) methods. Each element in the heap (called a tuple) belongs to a relation type and relates an immutable identity to mutable state. The model entails a stricter contract: identity never changes during an execution. Objects, values, and singletons arise as special cases of tuples. (end of abstract) Received on Fri Sep 04 2009 - 01:59:34 CDT

Original text of this message