Metaprogramming is the process of writing computer programs that treat programs as data,
enabling them to analyze or transform existing programs or generate new ones. While the …

Crosscutting, ie relating different program points is one of the key notions of Aspect-Oriented
Programming. In this article, we consider a general and operational model for crosscutting …

96 October 2001/Vol. 44, No. 10 COMMUNICATIONS OF THE ACM the most applicable
method given the arguments, and then chain to that method implementation. A programmer …

We review the state-of-the-art of reflection and metaprogramming, prior to our work on partial
behavioral reflection and Reflex, and open implementations. The first four sections are …

We show that the generalized variant of formal systems where the underlying equational
specifications are membership equational theories, and where the rules are conditional and …

The presence of network errors such as electrical interference affects the timing properties of
a CAN (Controller Area Network) bus. In hard real-time systems it is often better to not …

Since version 1.1 of the Java Development Kit, the Java reflective facilities have been
successively extended. However, they still prove to be limited. A number of systems (eg …

This paper presents an approach to formal verification of the properties of systems
composed of multiple crosscutting concerns. The approach models concerns as sets of …

To support development tools like debuggers, runtime systems need to provide a meta-
programming interface to alter their semantics and access internal data. Reflective …

We show that the generalized variant of rewriting logic where the underlying equational
specifications are membership equational theories, and where the rules are conditional and …