MiniMAO1 : An imperative core language for studying aspect-oriented reasoning

Science of Computer Programming

Volumn 63, Issue 3, 2006, Pages 321-374

  Clifton, Curtis ^a   Leavens, Gary T ^b  

^a ROSE HULMAN INSTITUTE OF TECHNOLOGY   (United States)

^b Iowa State University   (United States)

Author keywords

Aspect oriented programming; Formal semantics; MiniMAO calculus

Indexed keywords

ASPECT-ORIENTED PROGRAMMING (AOP); CORE LANGUAGES; MINIMAO CALCULUS; MODULAR SPECIFICATION;

COMPUTER SIMULATION; COMPUTER SYSTEMS; OBJECT ORIENTED PROGRAMMING; SEMANTICS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 33750007887     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2006.02.009     Document Type: Article

References (21)

1. Abadi M., and Cardelli L. A theory of objects. Monographs in Computer Science (1996), Springer-Verlag
2. J. Aldrich, Open modules: A proposal for modular reasoning in aspect-oriented programming, 2004, in: [6], pp. 7-18
3. Bruns G., Jagadeesan R., Jeffrey A., and Riely J. μabc: A minimal aspect calculus. Proceedings of the 2004 International Conference on Concurrency Theory (2004), Springer-Verlag 209-224
4. In: Cardelli L. (Ed). ECOOP '03 - Object-Oriented Programming European Conference. Lecture Notes in Comp. Sci. vol. 2743 (2003), Springer-Verlag, Darmstadt, Germany
5. C. Clifton, A design discipline and language features for modular reasoning in aspect-oriented programs. Ph.D. Thesis, Iowa State University, 2005
6. C. Clifton, R. Lämmel, and Leavens (Eds.), FOAL 2004 Proceedings: Foundations of Aspect-Oriented Languages Workshop at AOSD 2004, Iowa State University, Department of Computer Science, Lancaster, UK, 2004
7. C. Clifton, G.T. Leavens, MiniMAO: Investigating the semantics of proceed, in: C. Clifton, R. Lämmel, G.T. Leavens (Eds.). FOAL 2005 Proceedings: Foundations of Aspect-Oriented Languages Workshop at AOSD 2005, Iowa State University, Dept. of Computer Science, Chicago, Illinois, USA, 2005, pp. 51-61
8. Dantas D.S., and Walker D. Harmless advice. Proceedings of the 33th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL-06). 1 of ACM SIGPLAN Notices vol. 41 (2006), ACM 383-396
9. Douence R., Motelet O., and Südholt M. A formal definition of crosscuts. Reflection 2001. Lecture Notes in Comp. Sci. vol. 2192 (November 2001), Springer-Verlag, Heidelberg, Germany 170-186
10. Felleisen M., and Hieb R. The revised report on the syntactic theories of sequential control and state. Theoretical Computer Science 103 (1992) 235-271
11. Flatt M., Krishnamurthi S., and Felleisen M. A programmer's reduction semantics for classes and mixins. Formal Syntax and Semantics of Java (1999), Springer-Verlag 241-269 (Chapter 7)
12. Igarashi A., Pierce B., and Wadler P. Featherweight Java: A minimal core calculus for Java and GJ. In: Berman A.M. (Ed). OOPSLA '99: Proceedings of the 14th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (1999), ACM Press, Denver, Colorado, USA 132-146
13. R. Jagadeesan, A. Jeffrey, J. Riely, A calculus of untyped aspect-oriented programs, 2003, in: [4], pp. 54-73
14. R. Jagadeesan, A. Jeffrey, J. Riely, 2004, A typed calculus for aspect oriented programs, available from ftp://fpl.cs.depaul.edu/pub/rjagadeesan/typedABL.pdf on February 1, 2004
15. Kiczales G., Hilsdale E., Hugunin J., Kersten M., Palm J., and Griswold W.G. An overview of AspectJ. In: Knudsen J.L. (Ed). ECOOP '01 - Object-Oriented Programming 15th European Conference, Budapest Hungary. Lecture Notes in Comp. Sci. vol. 2072 (2001), Springer-Verlag, Budapest, Hungary 327-353
16. Kiczales G., Lamping J., Menhdhekar A., Maeda C., Lopes C., Loingtier J.-M., and Irwin J. Aspect-oriented programming. In: Akşit M., and Matsuoka S. (Eds). ECOOP '97 - Object-Oriented Programming 11th European Conference. Lecture Notes in Comp. Sci. vol. 1241 (1997), Springer-Verlag, Jyväskylä, Finland 220-242
17. H. Masuhara, G. Kiczales, Modeling crosscutting in aspect-oriented mechanisms, 2003, in: [4], pp. 2-28
18. G. Plotkin, A structural approach to operational semantics, Tech. Rep. DAIMI FN-19, Aarhus University, 1981
19. Walker D., Zdancewic S., and Ligatti J. A theory of aspects. Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming (2003), ACM Press, Uppsala, Sweden 127-139
20. Wand M., Kiczales G., and Dutchyn C. A semantics for advice and dynamic join points in aspect-oriented programming. ACM Transactions on Programming Languages and Systems 26 5 (2004) 890-910
21. Wright A.K., and Felleisen M. A syntactic approach to type soundness. Information and Computation 115 1 (1994) 38-94