Harmless advice

Daniel S. Dantas, David Walker

Research output: Contribution to journalArticle

31 Scopus citations

Abstract

This paper defines an object-oriented language 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 the mainline code. The benefit of harmless advice is that it facilitates local reasoning about program behavior. More specifically, programmers may ignore harmless advice when reasoning about the partial correctness properties of their programs. In addition, programmers may add new pieces of harmless advice to pre-existing programs in typical "after-the-fact" aspect-oriented style without fear they will break important data invariants used by the mainline code. In order to detect and enforce harmlessness, the paper defines a novel type and effect system related to information-flow type systems. The central technical result is that well-typed harmless advice does not interfere with the mainline computation. The paper also presents an implementation of the language and a case study using harmless advice to implement security policies.

Original languageEnglish (US)
Pages (from-to)383-396
Number of pages14
JournalACM SIGPLAN Notices
Volume41
Issue number1
DOIs
StatePublished - Jun 26 2006

All Science Journal Classification (ASJC) codes

  • Software
  • Computer Graphics and Computer-Aided Design

Keywords

  • Aspect-oriented
  • Aspects
  • Harmless Advice
  • Noninterference

Fingerprint Dive into the research topics of 'Harmless advice'. Together they form a unique fingerprint.

  • Cite this