Towards control of aspect interference using membranes and monads
Pages 27 - 28
Abstract
No abstract available.
References
[1]
AspectJ. Examples of production aspects. http://www.eclipse.org/aspectj/doc/next/progguide/examples-production.html, 2012.
[2]
C. Clifton and G. Leavens. Observers and assistants: A proposal for modular aspect-oriented reasoning. In Proc. of the 3th International Workshop on Foundations of Aspect-Oriented Languages (FOAL 2002).
[3]
C. Disenfeld and S. Katz. A closer look at aspect interference and cooperation. In Proc. of the 11th International Conference on Aspect-oriented Software Development (AOSD 2012),
[4]
R. Douence, P. Fradet, and M. Südholt. A framework for the detection and resolution of aspect interactions. In Proc. of the 1st Conference on Generative Programming and Component Engineering (GPCE 2002).
[5]
B. C. d. S. Oliveira, T. Schrijvers, and W. R. Cook. EffectiveAdvice: discplined advice with explicit effects. In Proc. of the 9th ACM International Conference on Aspect-Oriented Software Development (AOSD 2010).
[6]
M. Rinard, A. Salcianu, and S. Bugrara. A classification system and analysis for aspect-oriented programs. In Proc. of the 12th ACM Symposium on Foundations of Software Engineering (FSE 12).
[7]
T. Schrijvers and B. C. Oliveira. Monads, zippers and views: virtualizing the monad stack. In Proc. of the 16th International Conference on Functional Programming (ICFP 2011).
[8]
N. Tabareau, I. Figueroa, and E. Tanter. A Typed Monadic Embedding of Aspects. In Submitted to International Conference on Aspect-Oriented Software Development (AOSD 2013).
[9]
N. Tabareau, I. Figueroa, and É. Tanter. A Typed Monadic Embedding of Aspects. Proc. of the 12th International Conference on Aspect-Oriented Software Development (AOSD 2013) To appear.
[10]
É. Tanter. Execution levels for aspect-oriented programming. In Proc. of the 9th ACM International Conference on Aspect-Oriented Software Development (AOSD 2010).
[11]
É. Tanter, N. Tabareau, and R. Douence. Taming aspects with membranes. In Proc. of the 11th Workshop on Foundations of Aspect-Oriented Languages (FOAL 2012).
[12]
K. Tian, K. Cooper, K. Zhang, and S. Liu. Towards a new understanding of advice interference. In Proc. of the 4th International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2010).
[13]
K. Tian, K. Cooper, K. Zhang, and H. Yu. A classification of aspect composition problems. In Proceedings of the 3th International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2009).
Index Terms
- Towards control of aspect interference using membranes and monads
Recommendations
Taming aspects with monads and membranes
FOAL '13: Proceedings of the 12th workshop on Foundations of aspect-oriented languagesWhen a software system is developed using several aspects, special care must be taken to ensure that the resulting behavior is correct. This is known as the aspect interference problem, and existing approaches essentially aim to detect whether a system ...
Taming aspects
VariComp '13: Proceedings of the 4th international workshop on Variability & compositionAspect-oriented programming languages support the modular definition of crosscutting abstractions. In most languages, this is achieved through pointcuts, which provide a means for quantifying over execution events in order to implicitly trigger advice. ...
On the relation of aspects and monads
FOAL '07: Proceedings of the 6th workshop on Foundations of aspect-oriented languagesThe relation between aspects and monads is a recurring topic in discussions in the programming language community, although it has never been elaborated whether their resemblences are only superficial, and if not, where they are rooted. The aim of this ...
Comments
Information & Contributors
Information
Published In
March 2013
56 pages
ISBN:9781450318730
DOI:10.1145/2457392
- General Chair:
- Hidehiko Masuhara,
- Program Chairs:
- Shigeru Chiba,
- Naoyasu Ubayashi
Copyright © 2013 Author.
Sponsors
- AOSA: Aspect-Oriented Software Association
In-Cooperation
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 24 March 2013
Check for updates
Author Tags
Qualifiers
- Extended-abstract
Conference
AOSD '13
Sponsor:
- AOSA
Acceptance Rates
Overall Acceptance Rate 41 of 139 submissions, 29%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 64Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 16 Oct 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in