Persistent Programming Research Group. PSalgol reference manual - fourth edition. Technical Report PPRP-12-87, Universities of Glasgow and St Andrews, 1987.  Home/Search   Document Not in Database   Summary   Related Articles

....persist(k; M) to make M persist with the key k retrieve(k) to locate a value having the key k With a care in treating mutable references we shall discuss in 2. 3, this model can represent various other approaches to naming persistent values including the one based on a persistent root [11, 19]. In a typed language, the property that distinguishes persistent values form ordinary values is that they are external to static typing environments. Because of this, the type system cannot statically determine the actual type of a persistent value. Persistent languages [11, 19, 8] solve this ....

....a persistent root [11, 19] In a typed language, the property that distinguishes persistent values form ordinary values is that they are external to static typing environments. Because of this, the type system cannot statically determine the actual type of a persistent value. Persistent languages [11, 19, 8] solve this problem by including type information in persistent data and regarding them as values having a special type. Before using persistent data, they are projected on their actual types by dynamic inspection of their type information. As pointed out in [9] such persistent values can be ....

[Article contains additional citation context not shown here]

Persistent Programming Research Group. PSalgol reference manual - fourth edition. Technical Report PPRP-12-87, Universities of Glasgow and St Andrews, 1987.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC