Gisela Menger

Publication Activity (10 Years)

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

University of Ulm, Germany (PHD)

Education History

University of Ulm, Germany

PHD

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)
Christian Hummert, Gisela Menger
New Programming Language Concepts for Confidentiality. PLC (2005)
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)
Mark Evered, Gisela Menger
Using and teaching information hiding in single-semester software engineering projects. ACSE (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)
Mark Evered, Gisela Menger
Very High Level Programming with Collection Components. TOOLS (29) (1999)
Axel Schmolitzky, Mark Evered, James Leslie Keedy, Gisela Menger
How Can Covariance in Pragmatical Class Methods be Made Statically Type-Safe? TOOLS (32) (1999)
Gisela Menger, James Leslie Keedy, Mark Evered, Axel Schmolitzky
Collection Types and Implementations in Object-Oriented Software Libraries. TOOLS (26) (1998)
Mark Evered, Gisela Menger
Eine Evaluierung des Java JDK1.2 Collections Framework aus Sicht der Softwaretechnik. Java-Informations-Tage (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)

Gisela Menger.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Gisela Menger