Open Modules: Modular Reasoning About Advice

Topics:
Electrical and Electronic
Tags:
Aspect-oriented,
Aspect-oriented Programming,
Reasoning Inc.
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


advertisement
advertisement
  • Click Here
  • Click Here
  • Click Here
advertisement

Returning users: Log In Here!

Already registered on BNET, TechRepublic, or ZDNet? Simply log in.

Free Membership: Sign Up Now!

Sign up for a free membership today and get instant and unlimited access to one of the largest databases of white papers, webcasts, and casestudies anywhere. Your FREE membership allows you to:

  • Download an unlimited amount of content, including classic and current white papers, case studies, webcasts and more
  • Track content on your chosen topics of interest
  • Receive targeted email alerts when your favorite content is added
  • Save content for future reading
  • Receive our member newsletter

When you register to access this directory, you become a member of BNET. In addition, you allow us to share your information with companies that produce products or services featured in the library--so that such companies may contact you with information and offers regarding their products and services. This enables us to keep the library a free service. As a directory registrant, you will receive a complimentary subscription to the BNET member newsletter, The BNET Report. You can unsubscribe from this newsletter at any time. By clicking the Sign up button, you indicate that you agree to our Terms and Conditions and have read and understand our Privacy Policy (updated).