Skip to main content
Article thumbnail
Location of Repository

Process-algebraic foundations of aspect-oriented programming

By James H. Andrews

Abstract

Abstract. Process algebras are proposed as a foundation for aspectoriented programming. A particular process algebra is described, and programs illustrating its use in programming are given. It is argued that the framework clarifies the notion of equivalence between programs and correctness of aspect-weaving algorithms. The question of which notion of equivalence is most appropriate is discussed from theoretical and practicalpoints of view. An aspect-weaving algorithm is presented and proven correct. A simple imperative aspect-oriented language is presented and translated into the given process algebra. “The Analytical Engine weaves Algebraical patterns just as the Jacquard loom weaves flowers and leaves. ” – Ada Augusta,Countess of Lovelace 1

Publisher: 2013-09-21
Year: 2001
OAI identifier: oai:CiteSeerX.psu:10.1.1.352.1535
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://link.springer.com/conte... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.