Title :
Functional data structures as updatable objects
Author :
Milewski, Jaroslaw
Author_Institution :
Inst. of Inf., Warsaw Univ., Poland
fDate :
12/1/1990 12:00:00 AM
Abstract :
The threat of continuous data copying is one of the key problems in applicative programming. The opportunities to implement functional data structures as updatable objects, thus avoiding any form of copying, are discussed. The notion of incremental structures and associated storage is used. Its specification is modified so as to handle sequential and shared structures. The former can be used in the case when only data dependencies and not data values are considered in source program analysis. The latter can be used for nondeterministic applications such as system programming
Keywords :
data structures; functional programming; parallel programming; applicative programming; associated storage; continuous data copying; data dependencies; functional data structures; incremental structures; nondeterministic applications; shared structures; source program analysis; system programming; updatable objects; Concurrent computing; Data structures; Functional programming; Informatics; Parallel processing;
Journal_Title :
Software Engineering, IEEE Transactions on