Welcome

Index by Topics

Index by Projects

• Aspect language analysis
  • interference analysis: Condor
• Aspect-oriented language design
  • aspect genericity: LogicAJ
• Object-oriented language design
  • aliasing and encapsulation: ACE / JAC
  • dynamic, object-based inheritance: Darwin / Lava
• Program transformations
  • static transformation of source code: jTransformer
  • load-time transformation of class files: jMangler
  • transformation interference analysis: Condor
  • transformation composition: ConTraCT
• Refactorings:
  • a refactoring editor:ConTraCT
• Unanticipated software evolution:
  • static:ConTraCT, LogicAJ
  • load-time: jMangler
  • dynamic: Darwin / Lava, Tailor
  • events: USE workshop series
• Distributed systems:
  • Cooperating Knowledge Bases and Intelligent Agents (1991-1992)
  • EPSILON: a Distributed Knowledge Base Management System (1985-1990)
• Unaticipated real life evolution:
  • work in progress: D&J

• ACE / JAC:
  reconciling encapsulation and aliasing via access rights.
• Condor:
  Conflict Detector for conditional program transformations, refactorings and aspects
• Darwin / Lava:
  type-safe object-based inheritance for class-based languages.
• LogicAJ:
  an aspect language with uniform genericity and aspect interference analysis.
• jMangler: 
  adaptation of Java class files at load-time, generic class file interception.
• jConditioner / ConTraCT:
  composition of conditional transformations / refactorings.
• jTransformer:
  logic-based source to source transformations of Java programs.
• Tailor: language support for component adaptation at run-time.
• CKBS/IA:
  Cooperating Knowledge Bases and Intelligent Agents (1991-1992)
• EPSILON:
  a distributed KBMS integrating logic and object-based knowledge representation (1985-1990)
• Favourite projects:
  Work in progress