Aspect categories and classes of temporal properties

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

Volumn 3880 LNCS, Issue , 2006, Pages 106-134

  Katz, Shmuel ^a  

^a TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

Aspect categories; Aspect specification; Aspect verification; Dataflow analysis; Invasive; Regulative; Spectative

Indexed keywords

DATA FLOW ANALYSIS; SEMANTICS; SOFTWARE ENGINEERING; STATIC ANALYSIS; SYNTACTICS;

ASPECT CATEGORIES; ASPECT SPECIFICATION; ASPECT VERIFICATION; STATIC CODE ANALYSIS; TEMPORAL PROPERTIES;

TEMPORAL LOGIC;

EID: 34247886486     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11687061_4     Document Type: Article

References (33)

1. D. Balzarott and M. Monga. Using program slicing to analyze aspect-oriented composition. In: Foundations of Aspect Languages (FOAL) Workshop Associated with AOSD, 2004
2. D. Balzarotti, A.C. D'Ursi, L. Cavallaro, and M. Monga. Slicing AspectJ woven code. In: Foundations of Aspect Languages (FOAL) Workshop Associated with AOSD, 2005
3. G. Bruns, R. Jagadeesan, A. Jeffrey, and J. Riely. μabc: A minimal aspect calculus. In: CONCUR 2004, LNCS vol. 3170, Springer, Berlin Heidelberg New York, 2004
4. E.M. Clarke and E.A. Emerson. Design and synthesis of synchronization skeletons using branching-time temporal logic. In: Workshop on Logics of Programs, LNCS vol. 131, Springer, Berlin Heidelberg New York, pp. 52-71, 1981
5. E.M. Clarke, O. Grumberg, and D. Peled. Model Checking, MIT Press, Cambridge, MA, 1999
6. C. Clifton and G. Leavens. Observers and assistants: a proposal for modular aspect-oriented reasoning (also, modified as Spectators and assistants: enabling modular aspectoriented reasoning). In: Foundations of Aspect Languages (FOAL) Workshop 2002, Iowa State TR02-10, 2002
7. D. Dams, R. Gerth, and O. Grumberg. Abstract interpretation of reactive systems. ACM Transactions on Programming Languages and Systems, 19(2):253-291, 1997
8. rd ACM Symposium on Principles of Programming Languages, 2006
9. B. Devereux. Compositional reasoning about aspects using alternating-time logic. In: Foundations of Aspect Languages (FOAL) Workshop Associated with AOSD, 2003
10. R. Douence, P. Fradet, and M. Sudholt. Trace-based aspects. In: M. Aksit, S. Clarke, T. Elrad, and R. Filman, (eds.) Aspect-Oriented Software Development, Addison-Wesley, 2004
11. R.E. Filman and D.P. Friedman. Aspect-oriented programming is quantification and obliviousness. In: OOPSLA: Workshop on Advanced separation of Concerns, 2000
12. R.E. Filman. What is AOP, Revisited. In: Workshop on Advanced Separation of Concerns, 15th ECOOP, 2001
13. W. Griswald, K. Sullivan, Y. Song, M. Shonle, N. Tewari, Y. Cai, and H. Rajan. Modular software design with crosscutting interfaces. IEEE Software, 23:51-60, 2006
14. J. Hatcliff and M. Dwyer. Using the Bandera tool set to model check properties of concurrent Java software. In: CONCUR2001, LNCS vol. 2154, Springer, pp. 39-58, 2001
15. R. Jagadeesan, A. Jeffrey, and J. Riely. A calculus of untyped aspect-oriented programs. In: ECOOP 2003, LNCS vol. 2743, Springer, pp. 54-73, 2003
16. S. Katz and M. Sihman. Aspect validation using model checking. In: Symposium on Verification in honor of Zohar Manna, LNCS vol. 2772, Springer, pp. 389-411, 2003
17. S. Katz. Diagnosis of harmful aspects using regression verification. In: Foundations of Aspect Languages (FOAL) Workshop Associated with AOSD, 2004
18. G. Kiczales et al. An overview of AspectJ. 16th ECOOP, 2001
19. G. Kiczales and M. Mezini. Aspect-oriented programming and modular reasoning. In: Intl. Conference on Software Engineering (ICSE), pp. 49-58, 2005
20. S. Krishnamurthi, K. Fisler, and M. Greenberg. Verifying aspect advice modularly. In: Foundations of Software Engineering (FSE) Conference, pp. 137-146, 2004
21. L. Lamport. What good is temporal logic?. In: IFIP 9th World Congress, pp. 657-668, 1983
22. Z. Manna and A. Pnueli. The temporal logic of reactive and concurrent systems-specification, Springer, Berlin Heidelberg New York, 1991
23. I. Nagy, L. Bergmans, and M. Aksit. Declarative aspect composition. In: SE Properties of Languages and Aspect Technologies (SPLAT) Workshop of AOSD04, 2004
24. H. Ossher and P. Tarr. Multi-dimensional separation of concerns and the Hyperspace approach. In: M. Aksit (ed.) Software Architectures and Component Technology, Kluwer Academic, Dordrecht, 2001
25. M. Rinard, A. Salcianu, and S. Bugrara. A classification system and analysis for aspectoriented programs. In: Foundations of Software Engineering (FSE) Conference, 2004
26. D. Sereni and O. de Moor. Static analysis of aspects. Aspect-Oriented Software Development (AOSD), pp. 30-39, 2003
27. M. Sihman and S. Katz. Superimposition and aspect-oriented programming. The Computer Journal, 46:529-541, 2003
28. H.B. Sipma. A formal model for cross-cutting modular transition systems, In: Foundations of Aspect Languages (FOAL) Workshop associated with AOSD, 2003
29. M. Storzer and J. Krinke. Interference analysis for AspectJ. In: Foundations of Aspect Languages (FOAL) Workshop, 2003
30. K. Sullivan, W.G. Griswold, Y. Song, Y. Cai, M. Shonle, N. Tewari, and H. Rajan. Information hiding interfaces for aspect-oriented design. In: European Software Engineering Conference/Foundations of Software Engineering (ESEC/FSE), pp. 166-175, 2005
31. D. Walker, S. Zdancewic, and J. Ligatti. A theory of aspects. In: ICFP'03, ACM, NewYork, pp. 127-139, 2003
32. M. Wand, G. Kiczales, and C. Dutchyn. A semantics for advice and dynamic join points in aspect-oriented programming. Transactions on Programming Languages and Systems (TOPLAS), 26(5): 890-910, 2004
33. J. Zhao. Slicing aspect-oriented software. IEEE International Workshop on Programming Comprehension, pp. 251-260, 2002