A generative approach to aspect-oriented programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3286, Issue , 2004, Pages 39-54

  Smith, Douglas R ^a  

^a KESTREL INSTITUTE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS PROGRAMMING; SOFTWARE DESIGN; SOFTWARE ENGINEERING;

ASPECT ORIENTED SOFTWARE DEVELOPMENT; COMPUTATIONAL VALUE; CROSS-CUTTING; CROSSCUTTING FEATURES; MODULAR DEVELOPMENT; RUNTIMES; STATE INVARIANTS; TOOL SUPPORT;

ASPECT ORIENTED PROGRAMMING;

EID: 35048888470     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30175-2_3     Document Type: Article

References (16)

1. Aspect-Oriented Software Development, www.aosd.net.
2. Elrad, T., Filman, R., Bader, A., eds.: Communications of the ACM-Special Issue on Aspect-Oriented Programming. Volume 44(10). (2001)
3. Kiczales, G., et al.: An Overview of AspectJ. In: Proc. ECOOP, LNCS 2072, Springer-Verlag. (2001) 327-353
4. Erlingsson, U., Schneider, F.: SASI enforcement of security policies: A retrospective. In: Proceedings of the New Security Paradigms Workshop, Ontario, Canada (1999)
5. Paige, R., Koenig, S.: Finite differencing of computable expressions. ACM Transactions on Programming Languages and Systems 4 (1982) 402-454
6. Westfold, S., Smith, D.: Synthesis of efficient constraint satisfaction programs. Knowledge Engineering Review 16 (2001) 69-84 (Special Issue on AI and OR).
7. Paige, R.: Programming with invariants. IEEE Software 3 (1986) 56-69
8. Deng, X., Dwyer, M., Hatcliff, J., Mizuno, M.: Invariant-based specification, synthesis and verification of synchronization in concurrent programs. In: Proceedings of the 24th International Conference on Software Engineering. (May 2002)
9. Pavlovic, D., Smith, D.R.: Evolving specifications. Technical report, Kestrel Institute (2004)
10. Kestrel Institute: Specware System and documentation. (2003) http://www.specware.org/
11. Smith, D.R.: KIDS - a semi-automatic program development system. IEEE Transactions on Software Engineering Special Issue on Formal Methods in Software Engineering 16 (1990) 1024-1043
12. Rehof, J., Mogenson, T.: Tractable constraints in finite semilattices. Science of Computer Programming 35 (1999) 191-221
13. Smith, D.R., Parra, E.A., Westfold, S.J.: Synthesis of planning and scheduling software. In Tate, A., ed.: Advanced Planning Technology, AAAI Press, Menlo Park (1996) 226-234
14. Lieberherr, K., Orleans, D., Ovlinger, J.: Aspect-oriented programming with adaptive methods. CACM 44(10) (2001) 39-42
15. Ossher, H., Tarr, P.: Using multidimensional separation of concerns to (re)shape evolving software. CACM 44(10) (2001) 43-50
16. Wand, M., Kiczales, G., Dutchyn, G.: A semantics for advice and dynamic join points in aspect-oriented programming. ACM Transactions on Programming Languages and Systems (2003)