References

[1] D. L. Parnas, “Information Distribution Aspects of Design Methodology,” in Proceedings of the 5th World Computer Congress, 1971.
[2] D. L. Parnas, “On the Criteria to be Used in Decomposing Systems into Modules,” Communications of the ACM, vol. 15, no. 12, pp. 1053-1058, 1972.
[3] D. L. Parnas, “A Technique for Module Specification with Examples,” Communications of the ACM, vol. 15, no. 5, pp. 330-336, 1972.
[4] M. D. McIlroy, “Mass Produced Software Components,” in Software Engineering: Concepts and Techniques, Petrocelli-Charter, New York, 1968.
[5] G. Menger, Unterstützung für Objektsammlungen in statisch getypten objektorientierten Programmiersprachen, Dr. rer.nat thesis, University of Ulm Germany, 2000.
[6] K. Espenlaub, Design of the SPEEDOS Operating System Kernel, Ulm, Germany: Ph.D. thesis, The University of Ulm, Department of Computer Structures, Computer Science Faculty, 2005.
[7] J. L. Keedy, TIMOR-An Object- and Component Oriented Language, Timor Website, 2020.
[8] A. Schmolitzky, Ein Modell zur Trennung von Vererbung und Typabstraktion in objektorientierten Sprachen, Dr. rer.nat, thesis, University of Ulm, Germany, 1999.
[9] J. L. Keedy, “An Outline of the ICL2900 Series System Architecture,” Australian Computer Journal, vol. 9, no. 2, pp. 53-62, 1977.
[10] J. L. Keedy, “An Outline of the ICL2900 Series System Architecture,” in Computer Structures: Principles and Examples (ed. Siewiorek D.P., Bell, C.G. and Newell, A.), N.Y., McGraw-Hill, 1982, pp. 251-259.
[11] M. P. Atkinson, P. J. Bailey, K. J. Chisholm, W. P. Cockshott and R. Morrison, “An Approach to Persistent Programming,” The Computer Journal, vol. 26, no. 4, pp. 360-365, 1983.
[12] A. Bensoussan, C. T. Clingen and R. C. Daley, “The MULTICS Virtual Memory: Concepts and Design,” Communications of the ACM, vol. 15, no. 5, pp. 308-318, May 1972.
[13] F. J. Corbato and V. A. Vyssotsky, “Introduction and Overview of the MULTICS System,” Proceedings of the 1965 Fall Joint Computer Conference, pp. 185-196, 1965.
[14] R. C. Daley and J. B. Dennis, “Virtual Memory, Processes, and Sharing in MULTICS,” Communications of the ACM, vol. 11, no. 5, pp. 306-312, 1968.
[15] J. L. Keedy, “S-RISC: Adding Security to RISC Computers,” SPEEDOS Website, 2023.
[16] B. W. Lampson, “Protection,” ACM Operating Systems Review, vol. 8, no. 1, pp. 18-24, January 1974.
[17] J. L. Keedy, TIMOR-An Object- and Component Oriented Language, 2020.
[18] J. L. Keedy, K. Espenlaub, C. Heinlein and G. Menger, “Call-out Bracket Methods in Timor,” Journal of Object Technology, vol. 5, no. 1, pp. 51-67, 2006.
[19] J. L. Keedy, G. Menger and C. Heinlein, “Support for Subtyping and Code Re-use in Timor,” in 40th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, 2002.
[20] J. L. Keedy, G. Menger and C. Heinlein, “Inheriting from a Common Abstract Ancestor in Timor,” Journal of Object Technology, vol. 1, no. 1, pp. 81-106, May-June 2002.
[21] J. L. Keedy, C. Heinlein and G. Menger, “Reuse Variables: Reusing Code and State in Timor,” in 8th International Conference on Software Reuse, ICSR 2004, Lecture Notes in Computer Science 3107, Madrid, 2004.
[22] J. L. Keedy, G. Menger and C. Heinlein, “Inheriting Multiple and Repeated Parts in TIMOR,” Journal of Object Technology, vol. 3, no. 10, pp. 99-120, Nov-Dec 2004.
[23] J. L. Keedy, C. Heinlein and G. Menger, “Diamond Inheritance and Attribute Types in Timor,” Journal of Object Technology, vol. 3, no. 10, pp. 121-142, Nov-Dec 2004.
[24] J. L. Keedy, G. Menger and C. Heinlein, “Types and Co-Types in Timor,” Journal of Object Technology, vol. 8, no. 7, 2009.
[25] J. L. Keedy, G. Menger and C. Heinlein, “Covariantly Adjusting Co-Types in Timor,” vol. 9, no. 1, pp. 35-55, 2010.
[26] J. L. Keedy, K. Espenlaub, G. Menger and C. Heinlein, “Qualifying Types with Bracket Methods in Timor,” Journal of Object Technology, vol. 3, no. 1, pp. 101-121, 2004.
[27] J. L. Keedy, K. Espenlaub, G. Menger, C. Heinlein and M. Evered, “Statically Qualified Types in Timor,” Journal of Object Technology, vol. 4, no. 7, 2005.
[28] J. L. Keedy, G. Menger, C. Heinlein and F. Henskens, “Qualifying Types Illustrated by Synchronisation Examples,” in Net.ObjectDays, Erfurt, Germany, 2002.
[29] J. L. Keedy, K. Espenlaub, C. Heinlein and G. Menger, “Persistent Objects and Capabilities in Timor,” Journal of Object Technology, vol. 6, no. 4, pp. 103-123, May-June 2007.
[30] J. L. Keedy, K. Espenlaub, C. Heinlein and G. Menger, “Persistent Processes and Distribution in Timor,” Journal of Object Technology, vol. 6, no. July-August 2007, pp. 91-108, 2007.
[31] J. L. Keedy, K. Espenlaub, C. Heinlein and G. Menger, “Security and Protection in Timor Programs,” Journal of Object Technology, vol. 7, no. 4, pp. 123-138, 2008.
[32] J. L. Keedy, K. Espenlaub, C. Heinlein, G. Menger, F. Henskens and M. Hannaford, “Support for Object Oriented Transactions in Timor,” Journal of Object Technology, vol. 5, no. 2, pp. 103-124, 2006.
[33] J. L. Keedy, M. Evered, A. Schmolitzky and G. Menger, “Attribute Types and Bracket Implementations,” in 25th International Conference on Technology of Object Oriented Systems, TOOLS 25, Melbourne, 1997.