Architectural Support for Software in the Monads III Computer Design

[1]  James Leslie Keedy,et al.  Paging and Small Segments: A Memory Management Model , 1980, IFIP Congress.

[2]  Brian Randell,et al.  Operating Systems, An Advanced Course , 1978 .

[3]  Robert S. Fabry,et al.  Capability-based addressing , 1974, CACM.

[4]  Brian Randell,et al.  Software Engineering: Concepts and Techniques , 1976 .

[5]  Butler W. Lampson,et al.  Reflections on an operating system design , 1976, CACM.

[6]  Kotagiri Ramamohanarao,et al.  On Implementing Semaphores with Sets , 1979, Comput. J..

[7]  J Rosenberg,et al.  Information-hiding - a Case Study , 1981 .

[8]  David Abramson.  Hardware for capability based addressing , 1982 .

[9]  P. Brinch-Hansen,et al.  The programming language Concurrent Pascal , 1975 .

[10]  Maurice V. Wilkes,et al.  The Cambridge CAP computer and its operating system (Operating and programming systems series) , 1979 .

[11]  Craig Schaffert,et al.  Abstraction mechanisms in CLU , 1977, CACM.

[12]  Allen Newell,et al.  Computer Structures: Principles and Examples , 1983 .

[13]  Roger M. Needham,et al.  On the duality of operating system structures , 1979, OPSR.

[14]  James Leslie Keedy.  On structuring operating systems with monitors , 1979, OPSR.

[15]  Kotagiri Ramamohanarao,et al.  Hardware Address Translation for Machines with a Large Virtual Memory , 1981, Inf. Process. Lett..

[16]  William A. Wulf,et al.  HYDRA/C.Mmp, An Experimental Computer System , 1981 .

[17]  James Leslie Keedy,et al.  Software Engineering View of Files , 1982, Aust. Comput. J..

[18]  Peter Boehler Bishop,et al.  Computer systems with a very large address space and garbage collection , 1977 .

[19]  Kotagiri Ramamohanarao,et al.  On Synchronizing Readers and Writers with Semaphores , 1982, Comput. J..

[20]  C. S. Wallace,et al.  A virtual memory system for the Hewlett Packard 2100A , 1977, CARN.

[21]  Brian Randell,et al.  A note on storage fragmentation and program segmentation , 1969, CACM.

[22]  Per Brinch Hansen,et al.  The programming language Concurrent Pascal , 1975, IEEE Transactions on Software Engineering.

[23]  Anita K. Jones.  The Object Model: A Conceptual Tool for Structuring Software , 1978, Operating Systems.

[24]  C. A. R. Hoare,et al.  Monitors: an operating system structuring concept , 1974, CACM.

[25]  J Rosenberg,et al.  Information-hiding - a Key to Successful Software Engineering , 1981 .

[26]  J. V. Woods,et al.  MU6-G. a new design to achieve mainframe performance from a mini-sized computer , 1980, ISCA '80.

[27]  D. L. Parnas,et al.  On the criteria to be used in decomposing systems into modules , 1972, Software Pioneers.

[28]  James Leslie Keedy.  On the Exportation of Variables , 1980, Aust. Comput. J..

[29]  Mary Shaw,et al.  An introduction to the construction and verification of Alphard programs , 1976, ICSE '76.

[30]  David Lorge Parnas,et al.  Information Distribution Aspects of Design Methodology , 1971, IFIP Congress.