TY - GEN
T1 - Environments: A Flexible Binding Mechanism to Support System Evolution
AU - Dearle, Alan
N1 - @inproceedings {
AUTHOR = {Dearle, A},
TITLE = {Environments: A Flexible Binding Mechanism to Support System Evolution},
BOOKTITLE = {22nd International Conference on Systems Sciences, Hawaii},
YEAR = {1989},
PAGES = {46-55},
URL = {http://www.cs.st-andrews.ac.uk/research/publications/Dea89.php}
}
PY - 1989
Y1 - 1989
N2 - A language construct called environment is introduced. Environments are collections of bindings and have first class data rights. As such, they provide the programmer with a type secure mechanism to control bindings in the system. It is shown that environments may be combined to provide a naming graph that subsumes the functions of file systems in traditional operating systems. Such a mechanism provides a conceptually simple framework for manipulating bindings which permits the control of complexity and system evolution from within a unified language framework.
AB - A language construct called environment is introduced. Environments are collections of bindings and have first class data rights. As such, they provide the programmer with a type secure mechanism to control bindings in the system. It is shown that environments may be combined to provide a naming graph that subsumes the functions of file systems in traditional operating systems. Such a mechanism provides a conceptually simple framework for manipulating bindings which permits the control of complexity and system evolution from within a unified language framework.
UR - https://archive.cs.st-andrews.ac.uk/papers/download/Dea89.pdf
M3 - Conference contribution
SP - 46
EP - 55
BT - In Proceedings of the 22nd Hawaii International Conference on System Sciences
ER -