Models for Persistence in Lazy Functional Programming Systems

Models for Persistence in Lazy Functional Programming Systems (1993)

by David John McNally

Citations:

8 - 0 self

User correction supplied by mph

Datum	Value	Source
TITLE	Models for Persistence in Lazy Functional Programming Systems	user correction - Legacy Corrections
AUTHOR NAME	David John McNally	user correction
AUTHOR AFFIL	Department of Mathematical and Computational; University of	user correction
AUTHOR ADDR	St Andrews	user correction
ABSTRACT	Research into providing support for long term data in lazy functional programming systems is presented in this thesis. The motivation for this work has been to reap the benefits of integrating lazy functional programming languages and persistence. The benefits are . the programmer need not write code to support long term data since this is provided as part of the programming system . persistent data can be used in a type safe way since the programming language type system applies to data with the whole range of persistence . the benefits of lazy evaluation are extended to the full lifetime of a data value. Whilst data is reachable, any evaluation performed on the data persists. A data value changes monotonically from an unevaluated state towards a completely evaluated state over time. . interactive data intensive applications such as functional databases can be developed. These benefits are realised by the development of models for persistence in lazy functional programming systems. Tw...	user correction - Legacy Corrections
YEAR	1993	user correction - Legacy Corrections
CITATIONS	112 found	ParsCit 1.0