PolyAML: A polymorphic aspect-oriented functional programming language (Extended Version) (2005)

by Daniel S. Dantas , David Walker , Geoffrey Washburn , Stephanie Weirich
Citations:38 - 8 self

Active Bibliography

programmming – Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich
and – Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich
AspectML: . . . functional programming language – Daniel Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich - 2008
20 A Type-theoretic Interpretation of Pointcuts and Advice – Jay Ligatti, Steve Zdancewic, David Walker - 2005
77 Harmless advice – Daniel S. Dantas, David Walker - 2005
10 Aspects preserving properties – Simplice Djoko Djoko, Rémi Douence, Pascal Fradet - 2008
8 MiniMAO: Investigating the Semantics of Proceed – Curtis Clifton, Gary T. Leavens - 2005
4 Analyzing Polymorphic Advice – Daniel S. Dantas, David Walker, Geoffrey Washburn Stephanie Weirich, Geoffrey Washburn, Stephanie Weirich - 2004
22 Typed Parametric Polymorphism for Aspects – Radha Jagadeesan, Alan Jeffrey, James Riely - 2006
4 What Does Aspect-Oriented Programming Mean for Functional Programmers? – Meng Wang, Bruno C. D. S. Oliveira
and Meanings of Programs]: Semantics of Programming Languages—denotational – Kevin W. Hamlen, Micah Jones, An Aspect-oriented
8 Composing Expressive Run-time Security Policies – Lujo Bauer, Jay Ligatti, David Walker
21 MiniMAO1: An imperative core language for studying aspect-oriented reasoning – Curtis Clifton, Gary T. Leavens - 2006
1 Aspect Refinement – Sven Apel, Christian Kästner, Thomas Leich, Gunter Saake - 2006
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
76 An Algebra for Feature-Oriented Software Development – Sven Apel, Christian Lengauer, Don Batory, Bernhard Möller, Christian Kästner
8 Fully abstract semantics of additive aspects by translation – S. B. Sanjabi, C. -h. L. Ong - 2007
75 A Theory of Aspects – David Walker, Steve Zdancewic, Jay Ligatti - 2003