How to design a system in which modules can be changed on the fly

Proceedings - International Conference on Software Engineering

Volumn , Issue , 1976, Pages 470-476

  Fabry, R S ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Abstract data types; Capabilities; Computer utilities; Updating data representations

Indexed keywords

ABSTRACT DATA TYPES; SOFTWARE ENGINEERING;

CAPABILITIES; COMPUTER UTILITY; DATA REPRESENTATIONS; ON THE FLIES;

INFORMATION MANAGEMENT;

EID: 85052749141     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. Dahl, O.-J. and Hoare, C. A. R. Hierarchical program structures. In Structured Programming, O.-J. Dahl, E. W. Dijkstra, and C. A. R. Hoare, Academic Press, New York, 1972.
2. Liskov, B. An introduction to CLU. Computation Structures Memo No. 136, Laboratory for Computer Science, MIT, Cambridge, Mass., 1976.
3. Wulf, W. A., London, R., and Shaw, M. Abstraction and verification in Alphard: Introduction to language and methodology. To be published.
4. Lampson, B. W. and Sturgis, H. E. Reflections on an operating system design. Comm. ACM 19, 5(May 1976), 251-265.
5. Wulf, W. A., et al. HYDRA: The kernel of a multiprocessor operating system. Comm. ACM 12, 6 (June 1974), 337-345.
6. Fabry, R. S. Capability-based addressing. Comm. ACM 17, 7(July 1974), 403-412.
7. Redell, D. D. Naming and protection in extendible operating systems. Ph. D. dissertation, University of California, Berkeley, 1974.
8. Redell, D. D. and Fabry, R. S. Selective revocation of capabilities. International Workshop on Protection in Operating Systems, IRIA/LABORIA, Roc-quencourt, France, Aug. 13-14, 1974. (Revised version submitted to Comm. ACM.)
9. Geschke, C. M. and Mitchell, J. G. On the problem of uniform references to data structures. Software Engineering i, 2(June 1975), 207-219.
10. Lampson, B. W., et al. A user machine in a time sharing system. Proc. IEEE 54, 12(Dec. 1966),1766-1774.
11. Needham, R. M. Handling difficult faults in operating systems. Proc. 3rd Symposium on Operating Systems Principles, Stanford University, October 1971, 55-57.
12. Saltzer, J. H. Traffic control in a multiplexed computer system. Sc. D. thesis, MIT, 1966.