Aspects preserving properties

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

Volumn , Issue , 2008, Pages 135-145

  Djoko, Simplice Djoko ^a   Douence, Rémi ^b   Fradet, Pascal ^a  

^a INRIA RHÔNE ALPES   (France)

^b INRIA   (France)

Author keywords

Aspect weaving; Proof; Semantics; Temporal properties

Indexed keywords

ABSTRACT SEMANTICS; ASPECT WEAVING; ASPECT-ORIENTED PROGRAMMING; CONTROL-FLOW; DETERMINISTIC PROGRAMS; LIVENESS; LOCAL STATE; TEMPORAL PROPERTY;

COMPUTER SYSTEMS PROGRAMMING; WEAVING;

SEMANTICS;

EID: 77950907109     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1328408.1328429     Document Type: Conference Paper

References (18)

1. M. Chapman, A. Vasseur, and G. Kniesel, editors. AOSD 2006 - Industry Track Proceedings, Bonn, Germany, March 20-24, 2006, volume IAI-TR-2006-3. Computer Science Department III, University of Bonn, 2006.
2. E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finite state concurrent system using temporal logic specifications: a practical approach. In POPL '83: Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pages 117-126, New York, NY, USA, 1983. ACM Press.
3. C. Clifton and G. Leavens. Observers and assistants: A proposal for modular aspect-oriented reasoning, 2002.
4. Y. Coady, G. Kiczales, M. Feeley, and G. Smolyn. Using aspectc to improve the modularity of path-specific customization in operating system code. SIGSOFT Softw. Eng. Notes, 26(5):88-98, 2001.
5. T. Colcombet and P. Fradet. Enforcing trace properties by program transformation. In Symposium on Principles of Programming Languages (POPL'00), pages 54-66, 2000.
6. D. S. Dantas and D. Walker. Harmless advice. SIGPLAN Not., 41(1):383-396, 2006.
7. S. Djoko Djoko, R. Douence, P. Fradet, and D. Le Botlan. CASB: Common aspect semantics base. Technical Report AOSD-Europe Deliverable D54, Inria, August 2006.
8. P. Fradet and S. Hong Tuan Ha. Network fusion. In Proc. of Asian Symposium on Programming Languages and Systems (APLAS'04), pages 21-40. Springer-Verlag, LNCS, Vol.3302, November 2004.
9. P. Fradet and S. Hong Tuan Ha. Aspects of availability. In Proc. of the Sixth International Conference on Generative Programming and Component Engineering (GPCE'07), pages 165-174. ACM, October 2007.
10. M. Goldman and S. Katz. Maven: Modular aspect verification. In O. Grumberg and M. Huth, editors, TACAS, volume 4424 of Lecture Notes in Computer Science, pages 308-322. Springer, 2007.
11. S. Katz. Aspect categories and classes of temporal properties. Transactions on Aspect-Oriented Software Development, 3880, 2006.
12. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. Griswold. Getting started with aspectj. Commun. ACM, 44(10):59-65, 2001.
13. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-oriented programming. In Proc. of the European Conference on Object-Oriented Programming, June 1997.
14. S. Krishnamurthi, K. Fisler, and M. Greenberg. Verifying aspect advice modularly. In SIGSOFT '04/FSE-12: Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering, pages 137-146, New York, NY, USA, November 2004. ACM Press.
15. M. Lippert and C. V. Lopes. A study on exception detection and handling using aspect-oriented programming. In Proceedings of the 22nd international conference on Software engineering (ICSE'00), pages 418-427. ACM, 2000.
16. Z. Manna and A. Pnueli. The temporal logic of reactive and concurrent systems. Springer-Verlag New York, Inc., New York, NY, USA, 1992.
17. M. Rinard, A. Salcianu, and S. Bugrara. A classification system and analysis for aspect-oriented programs. In SIGSOFT '04/FSE-12: Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering, pages 147-158, New York, NY, USA, 2004. ACM Press.
18. A. P. Sistla. On characterization of safety and liveness properties in temporal logic. In PODC '85: Proceedings of the fourth annual ACM symposium on Principles of distributed computing, pages 39-48, New York, NY, USA, 1985. ACM Press.