The following pages link to AspectJ (Q16602):
Displaying 50 items.
- Statically safe program generation with SafeGen (Q532402) (← links)
- A type system for reflective program generators (Q532406) (← links)
- Aspects of availability. Enforcing timed properties to prevent denial of service (Q608233) (← links)
- Programming with C++ concepts (Q608245) (← links)
- Scoping strategies for distributed aspects (Q608347) (← links)
- MAVEN: Modular aspect verification and interference analysis (Q609017) (← links)
- Replicated data types that unify eventual consistency and observable atomic consistency (Q780057) (← links)
- Integration testing of object-oriented and aspect-oriented programs: A structural pairwise approach for Java (Q838169) (← links)
- Labs of the world, unite!!! (Q851175) (← links)
- Semantics and scoping of aspects in higher-order languages (Q856916) (← links)
- A type-theoretic interpretation of pointcuts and advice (Q856917) (← links)
- Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework (Q856922) (← links)
- \(\text{MiniMAO}_1\): an imperative core language for studying aspect-oriented reasoning (Q856924) (← links)
- Correlating temporal communication patterns of the eclipse open source community with performance and creativity (Q857726) (← links)
- Model driven middleware: A new paradigm for developing distributed real-time and embedded systems (Q952760) (← links)
- Aspect-oriented model-driven skeleton code generation: a graph-based transformation approach (Q983194) (← links)
- An algebraic foundation for automatic feature-based program synthesis (Q988187) (← links)
- Mining early aspects based on syntactical and dependency analyses (Q988199) (← links)
- Scoped types and aspects for real-time Java memory management (Q995820) (← links)
- Cooperative aspect-oriented programming (Q1016648) (← links)
- A core calculus for dynamic delta-oriented programming (Q1647772) (← links)
- Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework (Q1648653) (← links)
- Side-effect localization for lazy, purely functional languages via aspects (Q1929361) (← links)
- An empirical study of aspect-oriented metrics (Q1951622) (← links)
- Runtime verification for dynamic architectures (Q1996854) (← links)
- Chemical foundations of distributed aspects (Q2002053) (← links)
- A theory of monitors (Q2051767) (← links)
- PerformERL: a performance testing framework for Erlang (Q2084981) (← links)
- Program transformations for light-weight CPU accounting and control in the Java virtual machine (Q2271902) (← links)
- Compositional type checking of delta-oriented software product lines (Q2376980) (← links)
- \textsc{InterAspect}: aspect-oriented instrumentation with GCC (Q2441731) (← links)
- On the interoperability of model-to-model transformation languages (Q2462419) (← links)
- Classboxes: controlling visibility of class extensions (Q2485091) (← links)
- Implementation of a modelica compiler using JastAdd attribute grammars (Q2653930) (← links)
- Semantics and Algorithms for Parametric Monitoring (Q2881076) (← links)
- (Q3046722) (← links)
- (Q3046724) (← links)
- (Q3046738) (← links)
- (Q3046762) (← links)
- (Q3046803) (← links)
- Semantics of static pointcuts in aspectJ (Q3189782) (← links)
- Introducing fuzziness in object models and database interfaces through aspects (Q3423163) (← links)
- (Q3423340) (← links)
- (Q3539948) (← links)
- (Q3542139) (← links)
- LoPSiL: A Location-Based Policy-Specification Language (Q3556603) (← links)
- Parametric Trace Slicing and Monitoring (Q3617763) (← links)
- Modularizing Design Patterns with Aspects: A Quantitative Study (Q3634730) (← links)
- Aspect Categories and Classes of Temporal Properties (Q3634732) (← links)
- An Overview of CaesarJ (Q3634735) (← links)
