Karl J. Lieberherr

According to our database1, Karl J. Lieberherr authored at least 71 papers between 1980 and 2019.

Collaborative distances:



In proceedings 
PhD thesis 



On csauthors.net:


Learning Self-Game-Play Agents for Combinatorial Optimization Problems.
CoRR, 2019

A functional approach to generic programming using adaptive traversals.
Higher-Order and Symbolic Computation, 2010

Algorithms for traversal-based generic programming.
Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2010

Weaving generic programming and traversal performance.
Proceedings of the 9th International Conference on Aspect-Oriented Software Development, 2010

Controlled evolution of adaptive programs.
Proceedings of the joint international and annual ERCIM workshops on Principles of software evolution (IWPSE) and software evolution (Evol) workshops, 2009

A type system for functional traversal-based aspects.
Proceedings of the 8th Workshop on Foundations of Aspect-Oriented Languages, 2009

Recursive adaptive computations using perobject visitors.
Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Demeter Interfaces: Adaptive Programming Without Surprises.
Proceedings of the ECOOP 2006, 2006

Shadow Programming: Reasoning About Programs Using Lexical Join Point Information.
Proceedings of the Generative Programming and Component Engineering, 2005

Traversals of object structures: Specification and Efficient Implementation.
ACM Trans. Program. Lang. Syst., 2004

Controlling the Complexity of Software Design.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Aspectual Collaborations: Combining Modules and Aspects
Comput. J., 2003

XAspects: an extensible system for domain-specific aspect languages.
Proceedings of the Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2003

Beyond AOP: toward naturalistic programming.
Proceedings of the Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2003

A case for statically executable advice: checking the law of demeter with AspectJ.
Proceedings of the 2nd International Conference on Aspect-Oriented Software Development, 2003

Aspect-oriented programming with adaptive methods.
Commun. ACM, 2001

Discussing aspects of AOP.
Commun. ACM, 2001

DJ: Dynamic Adaptive Programming in Java.
Proceedings of the Metalevel Architectures and Separation of Crosscutting Concerns, 2001

Demeter/adaptive programming.
ACM SIGSOFT Software Engineering Notes, 2000

Building modular object-oriented systems with reusable collaborations (tutorial session).
Proceedings of the 22nd International Conference on on Software Engineering, 2000

Interaction Schemata: Compiling Interactions to Code.
Proceedings of the TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software, 1999

Dynamic Component Gluing.
Proceedings of the Generative and Component-Based Software Engineering, 1999

Evolution of Object Behavior Using Context Relations.
IEEE Trans. Software Eng., 1998

Adaptive Plug-and-Play Components for Evolutionary Software Development.
Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1998

The Refinement Relation of Graph-Based Generic Programs.
Proceedings of the Generic Programming, 1998

The Role of Polymorphic Reuse Mechanisms in Schema Evolution in an Object-Oriented Database.
IEEE Trans. Knowl. Data Eng., 1997

A New Approach to Compiling Adaptive Programs.
Sci. Comput. Program., 1997

Simplifying the Evolution of Java Programs (Tutorial).
Proceedings of the Pulling Together, 1997

Preventive Program Maintenance in Demeter/Java.
Proceedings of the Pulling Together, 1997

From Transience to Persistence in Object-Oriented Programming: Patterns and Architectures.
ACM Comput. Surv., 1996

Object-Oriented Design.
ACM Comput. Surv., 1996

Integrating Adaptive Programming into Existing Object-Oriented Analysis and Design Methods: Do It Yourself Adaptiveness.
Proceedings of the 1996 International Conference on Object Oriented Information Systems, 1996

Efficient Implementation of Adaptive Software.
ACM Trans. Program. Lang. Syst., 1995

TAPOS, 1995

Workshop on adaptable and adaptive software.
OOPS Messenger, 1995

Erratum: Customizing Adaptive Software to Object-Oriented Software Using Grammars.
Int. J. Found. Comput. Sci., 1994

Customizing Adaptive Software to Object-Oriented Software Using Grammars.
Int. J. Found. Comput. Sci., 1994

Object-Extending Class Transformations.
Formal Asp. Comput., 1994

Adaptive Object-Oriented Programming Using Graph-Based Customization.
Commun. ACM, 1994

Polymorphic Reuse Mechanisms for Object-Oriented Database Specifications.
Proceedings of the Tenth International Conference on Data Engineering, 1994

Abstracting Process-to-Function Relations in Concurrency Object-Oriented Applications.
Proceedings of the Object-Oriented Programming, Proceedings of the 8th European Conference, 1994

Object-Oriented Software Evolution.
IEEE Trans. Software Eng., 1993

Formal Foundations for Object-Oriented Data Modeling.
IEEE Trans. Knowl. Data Eng., 1993

Demeter Tools/C++ (abstract).
OOPS Messenger, 1993

Object-oriented software development with the Demeter Method (abstract).
OOPS Messenger, 1993

Object-Oriented Schema Extension and Abstraction.
Proceedings of the 1993 ACM/SIGAPP Symposium on Applied Computing: States of the Art and Practice, 1993

Minimizing Dependency on Class Structures with Adaptive Programs.
Proceedings of the Object Technologies for Advanced Software, 1993

Three Decades of HDLs: Part II, Conlan Through Verilog.
IEEE Design & Test of Computers, 1992

Component Enhancement: An Adaptive Reusability Mechanism for Groups of Collaborating Classes.
Proceedings of the Algorithms, Software, Architecture, 1992

From objects to classes: algorithms for optimal object-oriented design.
Software Engineering Journal, 1991

Incremental Class Dictionary Learning and Optimization.
Proceedings of the ECOOP'91 European Conference on Object-Oriented Programming, 1991

Abstraction of Object-Oriented Data Models.
Proceedings of the 9th International Conference on Entity-Relationship Approach (ER'90), 1990

Assuring Good Style for Object-Oriented Programs.
IEEE Software, 1989

Formulations and benefits of the law of demeter.
SIGPLAN Notices, 1989

Contributions to Teaching Object Oriented Design and Programming.
Proceedings of the Conference on Object-Oriented Programming: Systems, 1989

Object-Oriented Programming with Class Dictionaries.
Lisp and Symbolic Computation, 1988

Object-Oriented Programming: An Objective Sense of Style.
Proceedings of the Conference on Object-Oriented Programming Systems, 1988

Demeter: A Case Study of Software Growth through Parameterized Classes.
Proceedings of the Proceedings, 1988

Implications of Forbidden Structures for Extremal Algorithmic Problems.
Theor. Comput. Sci., 1985

Zeus: A Language for Expressing Algorithms in Hardware.
IEEE Computer, 1985

Efficient Test Generation Algorithms.
Proceedings of the Proceedings International Test Conference 1985, 1985

Parameterized random testing.
Proceedings of the 21st Design Automation Conference, 1984

Towards a standard hardware description language.
Proceedings of the 21st Design Automation Conference, 1984

Primality Testing and Factoring.
Theor. Comput. Sci., 1983

Analysis of polynomial approximation algorithms for constraint expressions.
Proceedings of the Theoretical Computer Science, 1983

Zeus: A hardware description language for VLSI.
Proceedings of the 20th Design Automation Conference, 1983

Algorithmic Extremal Problems in Combinatorial Optimization.
J. Algorithms, 1982

Uniform Complexity and Digital Signatures.
Theor. Comput. Sci., 1981

Complexity of Partial Satisfaction.
J. ACM, 1981

Probabilistic Combinatorial Optimization.
Proceedings of the Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31, 1981

P-Optimal Heuristics.
Theor. Comput. Sci., 1980