The following pages link to (Q2779263):
Displaying 30 items.
- AspectJ (Q16602) (← links)
- 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)
- An algebraic foundation for automatic feature-based program synthesis (Q988187) (← 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)
- 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)
- Classboxes: controlling visibility of class extensions (Q2485091) (← links)
- Introducing fuzziness in object models and database interfaces through aspects (Q3423163) (← links)
- LoPSiL: A Location-Based Policy-Specification Language (Q3556603) (← links)
- Aspect Categories and Classes of Temporal Properties (Q3634732) (← links)
- An Overview of CaesarJ (Q3634735) (← links)
- Towards a Catalogue of Refactorings and Code Smells for AspectJ (Q3634740) (← links)
- Design and Implementation of an Aspect Instantiation Mechanism (Q3634745) (← links)
- Weaving Multiple Aspects in Sequence Diagrams (Q3634772) (← links)
- (Q5020942) (← links)
- (Q5150423) (← links)
