Process-algebraic foundations of aspect-oriented programming

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

Volumn 2192, Issue , 2001, Pages 187-209

  Andrews, James H ^a  

^a UNIVERSITY OF WESTERN ONTARIO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA;

ASPECT WEAVING; ASPECT-ORIENTED; PROCESS ALGEBRAS;

ASPECT ORIENTED PROGRAMMING;

EID: 84943278667     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45429-2_14     Document Type: Conference Paper

References (18)

1. Robert Allen and David Garlan. Formalizing architectural connection. In Proceedings of the Sixteenth International Conference on Software Engineering, pages 71-80, Sorrento, Italy, May 1994.
2. James H. Andrews and Yingjun Zhang. Broad-spectrum studies of log file analysis. In Proceedings of the 22nd International Conference on Software Engineering (ICSE 2000), Limerick, Ireland, June 2000.
3. Lee Carver. A practical hyperspace application: Lessons from the option-processing task. In Workshop on Multi-Dimensional Separation of Concerns in Software Development, ICSE 2000, Limerick, Ireland, June 2000.
4. Lee Carver and William G. Griswold. Sorting out concerns. In First Workshop on Multi-Dimensional Separation of Concerns in Object-Oriented Systems (OOPSLA’99), Denver, Col., November 1999.
5. K. L. Clark. Negation as failure. In Logic and Data Bases, pages 293-322, New York, 1978. Plenum Press.
6. Rance Cleaveland, Joachim Parrow, and Bernhard Steffen. The concurrency workbench: A semantics-based tool for the verification of concurrent systems. ACM Transactions on Programming Languages and Systems, 15(1):36-72, January 1993.
7. Keith Clark and Maarten van Emden. Consequence verification of flowcharts. IEEE Transactions on Software Engineering, SE-7 (1):52-60, January 1981.
8. C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs, NJ, 1985.
9. Gregor Kiczales, John Lamping, Anurag Mendhekar, Chris Maeda, Cristina Lopes, Jean-Marc Loingtier, and John Irwin. Aspect-oriented programming. In Mehmet Aksit and Satoshi Matsuoka, editors, ECOOP '97 - Object-Oriented Programming 11th European Conference, volume 1241, pages 220-242, Jyväskylä, Finland, 1997. Springer-Verlag.
10. Robin Milner. A Calculus of Communicating Systems, volume 92 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1980.
11. Robin Milner. Operational and algebraic semantics of concurrent processes. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science: Volume B: Formal Models and Semantics, pages 1201-1242. Elsevier, Amsterdam, 1990.
12. Torsten Nelson, Donald Cowan, and Paulo Alencar. Towards a formal model of object-oriented hyperslices. In First Workshop on Multi-Dimensional Separation of Concerns in Object-Oriented Systems (OOPSLA’99), Denver, Col., November 1999.
13. David Park. Concurrency and automata on infinite sequences. In 5th GI Conference, volume 104 of LNCS, Berlin, 1981. Springer.
14. Benjamin C. Pierce and David N. Turner. Pict: A programming language based on the pi-calculus. Technical Report CSCI Technical Report 476, Indiana University, March 1997.
15. Christine Röckl and Davide Sangiorgi. A pi-calculus procsss semantics of concurrent idealised ALGOL. In Proceedings of FOSSACS 1999, number 1578 in LNCS, pages 306-321. Springer, 1999.
16. J. Bryan Scattergood. The Semantics and Implementation of Machine-Readable CSP. PhD thesis, Oxford University, 1998.
17. Mark Skipper. A model of composition oriented programming. In Workshop on Multi-Dimensional Separation of Concerns in Software Development, ICSE 2000, Limerick, Ireland, June 2000.
18. Peri Tarr, Harold Ossher, William Harrison, and Stanley M. Sutton Jr. n degrees of separation: Multi-dimensional separation of concerns. In 21st International Conference on Software Engineering, Los Angeles, May 1999.