James Leslie Keedy

Publication Activity (10 Years)

Years Active: 1977-2010
Publications (10 Years): 0

Publications

James Leslie Keedy, Gisela Menger, Christian Heinlein
Covariantly Adjusting Co-Types in Timor. J. Object Technol. 9 (1) (2010)
James Leslie Keedy, Gisela Menger, Christian Heinlein
Types and Co-Types in Timor. J. Object Technol. 8 (7) (2009)
James Leslie Keedy, Klaus Espenlaub, Christian Heinlein, Gisela Menger
Security and Protection in Timor Programs. J. Object Technol. 7 (4) (2008)
James Leslie Keedy, Klaus Espenlaub, Christian Heinlein, Gisela Menger
Persistent Processes and Distribution in Timor. J. Object Technol. 6 (6) (2007)
James Leslie Keedy, Klaus Espenlaub, Christian Heinlein, Gisela Menger
Persistent Objects and Capabilities in Timor. J. Object Technol. 6 (4) (2007)
James Leslie Keedy, Klaus Espenlaub, Christian Heinlein, Gisela Menger
Call-out Bracket Methods in Timor. J. Object Technol. 5 (1) (2006)
James Leslie Keedy, Klaus Espenlaub, Christian Heinlein, Gisela Menger, Frans A. Henskens, Michael Hannaford
Support for Object Oriented Transactions in Timor. J. Object Technol. 5 (2) (2006)
James Leslie Keedy, Klaus Espenlaub, Christian Heinlein, Gisela Menger, Mark Evered
Statically Qualified Types in Timor. J. Object Technol. 4 (7) (2005)
James Leslie Keedy, Christian Heinlein, Gisela Menger
Reuse Variables: Reusing Code and State in Timor. ICSR (2004)
James Leslie Keedy, Christian Heinlein, Gisela Menger, Mark Evered
Diamond Inheritance and Attribute Types in Timor. J. Object Technol. 3 (10) (2004)
James Leslie Keedy, Christian Heinlein, Gisela Menger
Inheriting Multiple and Repeated Parts in Timor. J. Object Technol. 3 (10) (2004)
James Leslie Keedy, Klaus Espenlaub, Christian Heinlein, Gisela Menger
Qualifying Types with Bracket Methods in Timor. J. Object Technol. 3 (1) (2004)
James Leslie Keedy, Gisela Menger, Christian Heinlein
Inheriting from a Common Abstract Ancestor in Timor. J. Object Technol. 1 (1) (2002)
James Leslie Keedy, Gisela Menger, Christian Heinlein, Frans A. Henskens
Qualifying Types Illustrated by Synchronisation Examples. NetObjectDays (2002)
Mark Evered, Gisela Menger, James Leslie Keedy, Axel Schmolitzky
Software Engineering Despite Object-Orientation. ACSC (2000)
James Leslie Keedy
Some Misunderstandings about the Anglo-Saxon Graduation System. GI Jahrestagung (2000)
James Leslie Keedy, Klaus Espenlaub, Gisela Menger, Axel Schmolitzky, Mark Evered
Software Reuse in an Object Oriented Framework: Distinguishing Types from Implementations and Objects from Attributes. ICSR (2000)
Axel Schmolitzky, Mark Evered, James Leslie Keedy, Gisela Menger
How Can Covariance in Pragmatical Class Methods be Made Statically Type-Safe? TOOLS (32) (1999)
James Leslie Keedy
Überlegungen zur Einführung von Bachelor- und Master-Graden für die Informatik an deutschen Universitäten. Informatik und Ausbildung (1998)
Gisela Menger, James Leslie Keedy, Mark Evered, Axel Schmolitzky
Collection Types and Implementations in Object-Oriented Software Libraries. TOOLS (26) (1998)
Mark Evered, James Leslie Keedy, Axel Schmolitzky, Gisela Menger
How Well Do Inheritance Mechanisms Support Inheritance Concepts?. JMLC (1997)
James Leslie Keedy, Mark Evered, Axel Schmolitzky, Gisela Menger
Attribute Types and Bracket Implementations. TOOLS (25) (1997)
Mark Evered, James Leslie Keedy, Gisela Menger, Axel Schmolitzky
Genja - A New Proposal for Parameterised Types in Java. TOOLS (25) (1997)
James Leslie Keedy
Is distribution a genuine problem for persistent systems or is addressing the real problem? HICSS (2) (1995)
Karin Vosseberg, Peter Brössler, James Leslie Keedy
A Base for Secure Object Oriented Environments. Security for Object-Oriented Systems (1993)
Neil Dunstan, James Leslie Keedy, John Rosenberg
Support for Concurrent Programming on the MONADS-PC System. Aust. Comput. J. 25 (1) (1993)
James Leslie Keedy
A model for security and protection in persistent systems. Microprocess. Microsystems 17 (3) (1993)
John Rosenberg, James Leslie Keedy, David Abramson
Addressing Mechanisms for Large Virtual Memories. Comput. J. 35 (4) (1992)
James Leslie Keedy, Karin Vosseberg
Security in a Persistent Distributed Operating System. ARCS (1992)
James Leslie Keedy, Peter Brössler
Implementing Databases in the MONADS Virtual Memory. POS (1992)
Mark Evered, James Leslie Keedy
A Model for Protection in Persistent Object-Oriented Systems. Security and Persistence (1990)
Bernd Freisleben, P. Kammerer, James Leslie Keedy
Capabilities and Encryption: The Ultimate Defense Against Security Attacks ? Security and Persistence (1990)
James Leslie Keedy
Support for Objects in the MONADS Architecture. POS (1989)
John Rosenberg, David M. Koch, James Leslie Keedy
A Capability-Based Massive Memory Computer. POS (1989)
Bernd Freisleben, James Leslie Keedy
Priority Semaphores. Comput. J. 32 (1) (1989)
John Rosenberg, James Leslie Keedy
Object Management and Addressing in the MONADS Architecture. POS (1987)
James Leslie Keedy, Bernd Freisleben
On the Efficient Use of Semaphore Primitives. Inf. Process. Lett. 21 (4) (1985)
Edward F. Gehringer, James Leslie Keedy
Tagged Architecture: How Compelling Are its Advantages? ISCA (1985)
James Leslie Keedy
An Instruction Set for Evaluating Expressions. IEEE Trans. Computers 32 (5) (1983)
James Leslie Keedy
A Memory Architecture for Object-Oriented Systems. Objektorientierte Software- und Hardwarearchitekturen (1983)
James Leslie Keedy, John Rosenberg
Architectural Support for Software in the Monads III Computer Design. GI Jahrestagung (1982)
James Leslie Keedy, John Rosenberg, Kotagiri Ramamohanarao
On Synchronizing Readers and Writers with Semaphores. Comput. J. 25 (1) (1982)
James Leslie Keedy, I. Richards
Software Engineering View of Files. Aust. Comput. J. 14 (2) (1982)
James Leslie Keedy
Paging and Small Segments: A Memory Management Model. IFIP Congress (1980)
James Leslie Keedy
Virtual Memory. Aust. Comput. J. 12 (2) (1980)
James Leslie Keedy
On the Exportation of Variables. Aust. Comput. J. 12 (1) (1980)
James Leslie Keedy
More on the use of stacks in the evaluation of expressions. SIGARCH Comput. Archit. News 7 (8) (1979)
James Leslie Keedy
On the specification of Software Subsystems. Aust. Comput. J. 11 (4) (1979)
James Leslie Keedy
On Structuring Operating Systems With Monitors. ACM SIGOPS Oper. Syst. Rev. 13 (1) (1979)
James Leslie Keedy
A technique for passing reference parameters in an information-hiding architecture. SIGARCH Comput. Archit. News 7 (9) (1979)
James Leslie Keedy, Kotagiri Ramamohanarao, John Rosenberg
On Implementing Semaphores with Sets. Comput. J. 22 (2) (1979)
James Leslie Keedy
On Structuring Operating Systems With Monitors. Aust. Comput. J. 10 (1) (1978)
James Leslie Keedy
On the evaluation of expressions using accumulators, stacks and store-to-store instructions. SIGARCH Comput. Archit. News 7 (4) (1978)
James Leslie Keedy
On the use of stacks in the evaluation of expressions. SIGARCH Comput. Archit. News 6 (6) (1978)
James Leslie Keedy
An Outline of the ICL 2900 Series System Architecture. Aust. Comput. J. 9 (2) (1977)