The ability to annotate code and, in general, the capability to attach arbitrary meta-data to
portions of a program are features that have become more and more common in
programming languages. Annotations in Java make it possible to attach custom, structured
meta-data to declarations of classes, fields and methods. However, the mechanism has
some limits: annotations can only decorate declarations and their instantiation can only be
resolved statically. With this work, we propose an extension to Java (named@ Java) with a …