James Leslie Keedy

J. Object Technol., 2010

2009

Types and Co-Types in Timor.

[BibT_eX]

[DOI]

J. Object Technol., 2009

2008

Security and Protection in Timor Programs.

[BibT_eX]

[DOI]

J. Object Technol., 2008

2007

Persistent Processes and Distribution in Timor.

[BibT_eX]

[DOI]

J. Object Technol., 2007

Persistent Objects and Capabilities in Timor.

[BibT_eX]

[DOI]

J. Object Technol., 2007

2006

Support for Object Oriented Transactions in Timor.

[BibT_eX]

[DOI]

J. Object Technol., 2006

Call-out Bracket Methods in Timor.

[BibT_eX]

[DOI]

J. Object Technol., 2006

2005

Statically Qualified Types in Timor.

[BibT_eX]

[DOI]

J. Object Technol., 2005

2004

Diamond Inheritance and Attribute Types in Timor.

[BibT_eX]

[DOI]

J. Object Technol., 2004

Inheriting Multiple and Repeated Parts in Timor.

[BibT_eX]

[DOI]

J. Object Technol., 2004

Qualifying Types with Bracket Methods in Timor.

[BibT_eX]

[DOI]

J. Object Technol., 2004

Reuse Variables: Reusing Code and State in Timor.

[BibT_eX]

[DOI]

Proceedings of the Software Reuse: Methods, 2004

2002

Inheriting from a Common Abstract Ancestor in Timor.

[BibT_eX]

[DOI]

J. Object Technol., 2002

Qualifying Types Illustrated by Synchronisation Examples.

[BibT_eX]

[DOI]

Proceedings of the Objects, 2002

2000

Software Reuse in an Object Oriented Framework: Distinguishing Types from Implementations and Objects from Attributes.

[BibT_eX]

[DOI]

Proceedings of the Software Reuse: Advances in Software Reusability, 2000

Some Misunderstandings about the Anglo-Saxon Graduation System.

[BibT_eX]

[DOI]

Proceedings of the Informatik 2000, 2000

Software Engineering Despite Object-Orientation.

[BibT_eX]

[DOI]

Proceedings of the 23rd Australasian Computer Science Conference (ACSC 2000), 31 January, 2000

1999

How Can Covariance in Pragmatical Class Methods be Made Statically Type-Safe?

[BibT_eX]

[DOI]

Proceedings of the TOOLS Pacific 1999: 32nd International Conference on Technology of Object-Oriented Languages and Systems, 1999

1998

Collection Types and Implementations in Object-Oriented Software Libraries.

[BibT_eX]

[DOI]

Proceedings of the TOOLS 1998: 26th International Conference on Technology of Object-Oriented Languages and Systems, 1998

Überlegungen zur Einführung von Bachelor- und Master-Graden für die Informatik an deutschen Universitäten.

[BibT_eX]

[DOI]

Proceedings of the Informatik und Ausbildung, GI-Fachtagung 98, 1998

1997

Attribute Types and Bracket Implementations.

[BibT_eX]

[DOI]

Proceedings of the TOOLS 1997: 25th International Conference on Technology of Object-Oriented Languages and Systems, 1997

Genja - A New Proposal for Parameterised Types in Java.

[BibT_eX]

[DOI]

Proceedings of the TOOLS 1997: 25th International Conference on Technology of Object-Oriented Languages and Systems, 1997

How Well Do Inheritance Mechanisms Support Inheritance Concepts?.

[BibT_eX]

[DOI]

Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 1997

1995

Is distribution a genuine problem for persistent systems or is addressing the real problem?

[BibT_eX]

[DOI]

Proceedings of the 28th Annual Hawaii International Conference on System Sciences (HICSS-28), 1995

1993

A model for security and protection in persistent systems.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 1993

Support for Concurrent Programming on the MONADS-PC System.

[BibT_eX]

Neil Dunstan

Aust. Comput. J., 1993

A Base for Secure Object Oriented Environments.

[BibT_eX]

Karin Vosseberg

Peter Brössler

Proceedings of the Security for Object-Oriented Systems, 1993

1992

Addressing Mechanisms for Large Virtual Memories.

[BibT_eX]

[DOI]

David Abramson

Comput. J., 1992

Implementing Databases in the MONADS Virtual Memory.

[BibT_eX]

Peter Brössler

Proceedings of the Persistent Object Systems, 1992

Security in a Persistent Distributed Operating System.

[BibT_eX]

Karin Vosseberg

Proceedings of the Architektur von Rechensystemen, 1992

1990

Capabilities and Encryption: The Ultimate Defense Against Security Attacks ?

[BibT_eX]

[DOI]

Bernd Freisleben

P. Kammerer

Proceedings of the Security and Persistence, 1990

A Model for Protection in Persistent Object-Oriented Systems.

[BibT_eX]

[DOI]

Mark Evered

Proceedings of the Security and Persistence, 1990

1989

Priority Semaphores.

[BibT_eX]

[DOI]

Bernd Freisleben

Comput. J., 1989

A Capability-Based Massive Memory Computer.

[BibT_eX]

David M. Koch

Proceedings of the Persistent Object Systems, 1989

Support for Objects in the MONADS Architecture.

[BibT_eX]

Proceedings of the Persistent Object Systems, 1989

1987

Object Management and Addressing in the MONADS Architecture.

[BibT_eX]

Proceedings of the Persistent Object Systems: Their Design Implementation and Use. Proceedings of the Second International Workshop, 1987

1985

On the Efficient Use of Semaphore Primitives.

[BibT_eX]

[DOI]

Bernd Freisleben

Inf. Process. Lett., 1985

Tagged Architecture: How Compelling Are its Advantages?

[BibT_eX]

[DOI]

Edward F. Gehringer

Proceedings of the 12th Annual Symposium on Computer Architecture, 1985

1983

An Instruction Set for Evaluating Expressions.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1983

A Memory Architecture for Object-Oriented Systems.

[BibT_eX]

Proceedings of the Objektorientierte Software- und Hardwarearchitekturen, 1983

1982

On Synchronizing Readers and Writers with Semaphores.

[BibT_eX]

[DOI]

Kotagiri Ramamohanarao

Comput. J., 1982

Software Engineering View of Files.

[BibT_eX]

I. Richards

Aust. Comput. J., 1982

Architectural Support for Software in the Monads III Computer Design.

[BibT_eX]

[DOI]

Proceedings of the GI - 12. Jahrestagung, Kaiserslautern, 5. -7. Oktober 1982, Proceedings, 1982

1980

Virtual Memory.

[BibT_eX]

Aust. Comput. J., 1980

On the Exportation of Variables.

[BibT_eX]

Aust. Comput. J., 1980

Paging and Small Segments: A Memory Management Model.

[BibT_eX]

Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980

1979

A technique for passing reference parameters in an information-hiding architecture.

[BibT_eX]

[DOI]

SIGARCH Comput. Archit. News, 1979

More on the use of stacks in the evaluation of expressions.

[BibT_eX]

[DOI]

SIGARCH Comput. Archit. News, 1979

On Implementing Semaphores with Sets.

[BibT_eX]

[DOI]

Kotagiri Ramamohanarao

Comput. J., 1979

On the specification of Software Subsystems.

[BibT_eX]

Aust. Comput. J., 1979

1978

On the use of stacks in the evaluation of expressions.

[BibT_eX]

[DOI]

SIGARCH Comput. Archit. News, 1978

On the evaluation of expressions using accumulators, stacks and store-to-store instructions.

[BibT_eX]

[DOI]

SIGARCH Comput. Archit. News, 1978

On Structuring Operating Systems With Monitors.

[BibT_eX]

Aust. Comput. J., 1978

1977

An Outline of the ICL 2900 Series System Architecture.

[BibT_eX]