What Does Aspect-Oriented Programming Mean for Functional Programmers?

by Meng Wang , Bruno C. D. S. Oliveira
Citations:4 - 2 self

Active Bibliography

14 EffectiveAdvice: Disciplined Advice with Explicit Effects – Bruno C. D. S. Oliveira, Tom Schrijvers, William R. Cook
3 MRI: Modular reasoning about interference in incremental programming – Bruno C. D. S. Oliveira, Tom Schrijvers, William R. Cook - 2012
16 Types and Modularity for Implicit Invocation with Implicit Announcement – Friedrich Steimann, Thomas Pawlitzki, Sven Apel, Christian Kästner - 2009
How AspectJ is Used: An Analysis of . . . – Sven Apel - 2010
and – Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich
77 Harmless advice – Daniel S. Dantas, David Walker - 2005
CIF: A Framework for Managing Integrity in Aspect-Oriented Composition – Andrew Camilleri, Geoffrey Coulson, Lynne Blair
1 A design discipline and language features for formal modular reasoning in aspect-oriented programs – Curtis Clifton, Gary T. Leavens, Copyright C, Curtis Clifton, Gary T. Leavens, All Rights Reserved, Curtis Clifton, Gary T. Leavens - 2005
Modular Aspect-Oriented Design . . . – Kevin Sullivan , William G. Griswold , Hridesh Rajan , et al. - 2009
Interface-Oriented Programming and Representation Inference – L. Robert Varney - 2005
Improving Softwware Maintainability through . . . – Michael Mortensen - 2009
AspectML: . . . functional programming language – Daniel Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich - 2008
11 Rely-guarantee approach to reasoning about aspect-oriented programs – Raffi Khatchadourian, Neelam Soundarajan - 2007
Method Implementation – Donglin Liang, Yi Guo, Donglin Liang, Yi Guo
31 Ptolemy: A Language with Quantified, Typed Events – Hridesh Rajan, Gary T. Leavens - 2007
Type-Directed Weaving of Aspects for Polymorphically Typed Functional Languages – Kung Chen A, Shu-chun Weng B, Meng Wang C, Siau-cheng Khoo D, Chung-hsin Chen A
Language-based Enforcement of User-defined Security Policies As Applied to Multi-tier Web Programs – Michael Hicks - 2008
6 Test-Based Pointcuts for Robust and Fine-Grained Join Point Specification – Kouhei Sakurai, Hidehiko Masuhara - 2008
Mostly Modular Compilation of . . . – Shigeru Chiba, Atsushi Igarashi, Salikh Zakirov - 2010