Harmless advice

@inproceedings{Dantas2006HarmlessA,
  title={Harmless advice},
  author={Daniel S. Dantas and David Walker},
  booktitle={POPL},
  year={2006}
}
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… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 109 CITATIONS

What is wrong with AOP?

  • ICSOFT
  • 2010
VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Side-effect localization for lazy, purely functional languages via aspects

  • Higher-Order and Symbolic Computation
  • 2011
VIEW 5 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Certificate translation for specification-preserving advices

VIEW 8 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Modular Verification and Certificate Translation for Advice Weaving

VIEW 6 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

2005
2015

CITATION STATISTICS

  • 21 Highly Influenced Citations

References

Publications referenced by this paper.
SHOWING 1-4 OF 4 REFERENCES

Information flow inference for ML

  • ACM Trans. Program. Lang. Syst.
  • 2003
VIEW 9 EXCERPTS
HIGHLY INFLUENTIAL

An Overview of AspectJ

VIEW 10 EXCERPTS
HIGHLY INFLUENTIAL