Karl J. Lieberherr

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

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

2010
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

2009
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

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

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

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

2004
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

2003
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

2001
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

2000
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

1999
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

1998
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

1997
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

1996
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

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

Editorial.
TAPOS, 1995

Workshop on adaptable and adaptive software.
OOPS Messenger, 1995

1994
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

1993
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

1992
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

1991
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

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

1989
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

1988
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

1985
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

1984
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

1983
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

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

1981
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

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


  Loading...