James Leslie Keedy

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