FOOL 2005 START ConferenceManager    


Harmless Advice

Daniel S Dantas David Walker

Presented at Foundations of Object-Oriented Languages (FOOL 2005), Long Beach, California (in conjunction with POPL), Saturday 15 January 2005


Abstract

This work-in-progress report develops a simple object calculus with harmless aspect-oriented advice. A piece of harmless advice is a computation that, like ordinary aspect-oriented advice, executes when control reaches a designated control-flow point. However, unlike ordinary advice, harmless advice is designed to obey a weak non-interference property. Harmless advice may change the termination behavior of computations and use I/O, but it does not otherwise influence the final result of computations that trigger it. A simple type and effect system related to information-flow type systems helps enforce harmlessness.

pdf


  
START Conference Manager (V2.47.9)
Maintainer: rrgerber@softconf.com