Crosscutting techniques in program specification and analysis

AOSD 2005: 4th International Conference on Aspect-Oriented Software Development - Conference Proceedings

Volumn , Issue , 2005, Pages 169-180

  Lam, Patrick ^a   Kupcak, Viktor ^a   Rinard, Martin ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Aspect oriented programming; Crosscutting concerns; Program verification; Static analysis tools

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DATA STRUCTURES;

ASPECT-ORIENTED PROGRAMMING; CROSSCUTTING CONCERNS; PROGRAM VERIFICATION; STATIC ANALYSIS TOOLS;

OBJECT ORIENTED PROGRAMMING;

EID: 33244492863     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1052898.1052913     Document Type: Conference Paper

References (37)

1. J. Aldrich. Open modules: Reconciling extensibility and information hiding. Software Engineering Properties of Languages for Aspect Technologies, March 2004.
2. M. Barnett, K. R. M. Leino, and W. Schulte. The Spec# programming system: An overview. In CASSIS 2004: International Workshop on Construction and Analysis of Safe, Secure and Interoperable Smart devices, March 2004.
3. D. Batory and S. O'Malley. The design and implementation of hierarchical software systems with reusable components. ACM Transactions on Software Engineering and Methodology, 1(4), Oct. 1992.
4. W. Blume and R. Eigenmann. Performance analysis of parallelizing compilers on the Perfect Benchmarks programs. IEEE Transactions on Parallel and Distributed Systems, 3(6):643-656, Nov. 1992.
5. L. Burdy, Y. Cheon, D. Cok, M. D. Ernst, J. Kiniry, G. T. Leavens, K. R. M. Leino, and E. Poll. An overview of JML tools and applications. Technical Report NII-R0309, Computing Science Institute, Univ. of Nijmegen, March 2003.
6. D. R. Cheriton and M. E. Wolf. Extensions for multi-module records in conventional programming languages. In Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pages 296-306. ACM Press, 1987.
7. M. C. Chu-Carroll. Supporting distributed collaboration through multidimensional software configuration management. In Proceedings of the 10th ICSE Workshop on Software Configuration Management, 2001.
8. C. Clifton and G. Leavens. Observers and assistants: A proposal for modular aspect-oriented reasoning. Technical Report TR 02-04, Department of Computer Science, Iowa State University, Mar. 2002.
9. K. Fisler and S. Krishnamurthi. Modular verification of collaboration-based software designs. In Proceedings of the Joint European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering, Vienna, Austria, Sept. 2001.
10. C. Flanagan, K. R. M. Leino, M. Lilibridge, G. Nelson, J. B. Saxe, and R. Stata. Extended Static Checking for Java. In Proc. ACM PLDI, 2002.
11. E. Gamma, R. Helm, R. Johnson, and J. Vlisside. Design Patterns. Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading, Mass., 1994.
12. D. Janzen and K. D. Voider. Programming with crosscutting effective views. In M. Odersky, editor, 18th ECOOP, pages 195-218, 2004.
13. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. Griswold. An overview of AspectJ. In ECOOP, 2001.
14. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J. Loingtier, and J. Irwin. Aspect-oriented programming. In ECOOP, 1997.
15. N. Klarlund, A. Møller, and M. I. Schwartzbach. MONA implementation secrets. In Proc. 5th International Conference on Implementation and Application of Automata. LNCS, 2000.
16. R. Laddad. AspectJ in Action. Manning Publications Company, Greenwich, CT, 2003.
17. P. Lam, V. Kuncak, and M. Rinard. On modular pluggable analyses using set interfaces. Technical Report 933, MIT CSAIL, December 2003.
18. P. Lam, V. Kuncak, and M. Rinard. On our experience with modular pluggable analyses. Technical Report 965, MIT CSAIL, September 2004.
19. P. Lam, V. Kuncak, and M. Rinard. Generalized typestate checking for data structure consistency. In 6th International Conference on Verification, Model Checking and Abstract Interpretation, 2005.
20. P. Lam, V. Kuncak, and M. Rinard. Hob: A tool for verifying data structure consistency. In 14th International Conference on Compiler Construction (tool demo), April 2005.
21. P. Lam, V. Kuncak, K. Zee, and M. Rinard. The Hob project web page, http://catfish.csail.mit.edu/~plam/hob/, 2004.
22. K. Lieberherr, D. Lorenz, and M. Mezini. Programming with aspectual components. Technical Report NU-CCS-99-01, College of Computer Science, Northeastern University, Mar. 1999.
23. B. Liskov and J. Guttag. Program Development in Java: Abstraction, Specification, and Object-Oriented Design. Addison-Wesley, 2000.
24. A. Møller and M. I. Schwartzbach. The Pointer Assertion Logic Engine. In Proc. ACM PLDI, 2001.
25. D. Moon. Object-oriented programming with flavors. In OOPSLA, 1986.
26. H. Ossher and P. Tarr. Multi-dimensional separation of concerns using hyperspaces. Technical Report Research Report 21452, IBM, 1999.
27. H. Ossher and P. Tarr. Using multidimensional separation of concerns to (re)shape evolving software. Communications of the ACM, Oct. 2001.
28. A. Popovici, T. Gross, and G. Alonso. Dynamic weaving for aspect-oriented programming. In Proceedings of the 1st International Conference on Aspect-Oriented Software Development, pages 141-147, Enschede, The Netherlands, 2002.
29. R. Reiter. A logic for default reasoning. Artificial Intelligence, pages 81-132, 1980.
30. M. Rinard, A. Sǎlcianu, and S. Bugrara. A classification system and analysis for aspect-oriented programs. In Proc. 12th Symposium on the Foundations of Software Engineering, 2004.
31. M. C. Rinard. The Design, Implementation and Evaluation of Jade, a Portable, Implicitly Parallel Programming Language. PhD thesis, Stanford University, 1994.
32. A. Silberschatz and Z. Kedem. Consistency in hierarchical database systems. Journal of the ACM, 27(1):72-80, January 1980.
33. G. Snelting and F. Tip. Semantics-based composition of class hierarchies. In ECOOP, 2002.
34. M. Störzer and J. Krinke. Interference analysis for AspectJ. In Workshop on Foundations of Aspect-Oriented Languages, Mar. 2003.
35. P. L. Tarr, H. Ossher, W. H. Harrison, and S. M. S. Jr. N degrees of separation: Multi-dimensional separation of concerns. In ICSE, 1999.
36. 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, 26(5), 2004.
37. K. Zee, P. Lam, V. Kuncak, and M. Rinard. Combining theorem proving with static analysis for data structure consistency. In International Workshop on Software Verification and Validation (SVV 2004), Seattle, November 2004.