Harmless Advice (2005)
Cached
Download Links
- [www.cs.princeton.edu]
- [www.cs.princeton.edu]
- [www.cs.princeton.edu]
- [www.cs.princeton.edu]
- [www.cs.princeton.edu]
- [www.cs.princeton.edu:80]
- DBLP
Other Repositories/Bibliography
| Citations: | 66 - 7 self |
BibTeX
@MISC{Dantas05harmlessadvice,
author = {Daniel S. Dantas and David Walker},
title = {Harmless Advice},
year = {2005}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper 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. We have proven that harmless advice does not interfere with the mainline computation.
