Open Modules: Modular Reasoning About Advice
- Topics:
- Electrical and Electronic
- Source:
- Carnegie Mellon University
FREE Registration is required
Overview: This white paper in detail explains about Advice as a mechanism used by advanced object-oriented and aspect-oriented programming languages to augment the behavior of methods in a program. The paper aims at defining a formal system for reasoning about the observational equivalence of programs under advice, which can be used to show that clients are unaffected by semantics-preserving changes to a module's implementation. The paper also reveals a model that yields insights into the nature of modularity in the presence of advice, provides a mechanism for enforce- able contracts between component providers and clients in this setting, and suggests improvements to current AOP IDEs.
(Is this item miscategorized? Does it need more tags? Let us know.)
Format: PDF | Size: 277KB | Date: Dec 2004 | Pages: 21



