The use of type abstractions in the presence of persistent storage requires that abstract types be made persistent as well. Under these conditions, we can ...

Nov 21, 2024 · The use of type abstractions in the presence of persistent storage requires that abstract types be made persistent as well. Under these ...

Data types and persistence. Persistence and type abstraction. Pages 31 - 41. PREVIOUS ARTICLE. Modules and persistence in standard ML. Previous · NEXT ARTICLE.

This work states that a type checker must be able to recognize occurrences of the same abstract type during different activations of a program, ...

An examination of the typings associated with the construction of persistent systems through the use of parametric abstract modules, including the class of ...

Introduction. Abstract types are a well known and effective way of structuring programs. The basic ide~ of information hiding can however conflict with the ...

This paper contains an examination of the typings associated with thee construction of persistent systems through the use of parametric abstract modules.

This paper contains an examination of the typings associated with theconstruction of persistent systems through the use of parametric abstract modules.

Apr 10, 2012 · We want to create an abstract persistence layer that defines some classes or abstract services (interfaces?) for persisting the business objects.

Influenced by major trends in software engineering: 1. increased focus on programming-in- the-large. 2. evolution of high-level programming languages.