Pages that link to "Item:Q856917"
From MaRDI portal
The following pages link to A type-theoretic interpretation of pointcuts and advice (Q856917):
Displaying 6 items.
- Semantics and scoping of aspects in higher-order languages (Q856916) (← links)
- Typed parametric polymorphism for aspects (Q856919) (← links)
- \(\text{MiniMAO}_1\): an imperative core language for studying aspect-oriented reasoning (Q856924) (← links)
- An algebraic foundation for automatic feature-based program synthesis (Q988187) (← links)
- MRI: Modular reasoning about interference in incremental programming (Q5300700) (← links)
- A Mechanized Model of the Theory of Objects (Q5428912) (← links)