A type-theoretic interpretation of pointcuts and advice
From MaRDI portal
(Redirected from Publication:856917)
Recommendations
Cited in
(9)- \(\text{MiniMAO}_1\): an imperative core language for studying aspect-oriented reasoning
- Typed parametric polymorphism for aspects
- A Mechanized Model of the Theory of Objects
- An algebraic foundation for automatic feature-based program synthesis
- Semantics and scoping of aspects in higher-order languages
- PolyAML: a polymorphic aspect-oriented functional programming language
- scientific article; zbMATH DE number 2036329 (Why is no real title available?)
- Harmless advice
- MRI: modular reasoning about interference in incremental programming
This page was built for publication: A type-theoretic interpretation of pointcuts and advice
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q856917)