scientific article

zbMath0982.68552MaRDI QIDQ2779263

Jeffrey Palm, Mik Kersten, Jim Hugunin, Gregor Kiczales, Erik Hilsdale

Publication date: 15 April 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2072/20720327

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Related Items (31)

Compositional type checking of delta-oriented software product lines ⋮ A core calculus for dynamic delta-oriented programming ⋮ Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework ⋮ Aspects of availability. Enforcing timed properties to prevent denial of service ⋮ Programming with C++ concepts ⋮ Scoping strategies for distributed aspects ⋮ MAVEN: Modular aspect verification and interference analysis ⋮ Side-effect localization for lazy, purely functional languages via aspects ⋮ Sound concurrent traces for online monitoring ⋮ \textsc{InterAspect}: aspect-oriented instrumentation with GCC ⋮ Unnamed Item ⋮ LoPSiL: A Location-Based Policy-Specification Language ⋮ Statically safe program generation with SafeGen ⋮ A type system for reflective program generators ⋮ Chemical foundations of distributed aspects ⋮ Classboxes: controlling visibility of class extensions ⋮ Program transformations for light-weight CPU accounting and control in the Java virtual machine ⋮ An algebraic foundation for automatic feature-based program synthesis ⋮ Scoped types and aspects for real-time Java memory management ⋮ A theory of monitors ⋮ Cooperative aspect-oriented programming ⋮ Aspect Categories and Classes of Temporal Properties ⋮ An Overview of CaesarJ ⋮ Towards a Catalogue of Refactorings and Code Smells for AspectJ ⋮ Design and Implementation of an Aspect Instantiation Mechanism ⋮ Weaving Multiple Aspects in Sequence Diagrams ⋮ AspectJ ⋮ Replicated data types that unify eventual consistency and observable atomic consistency ⋮ PerformERL: a performance testing framework for Erlang ⋮ Unnamed Item ⋮ Introducing fuzziness in object models and database interfaces through aspects

This page was built for publication: