Template parameters allows a component to define slots in its template to be filled with the template arguments that the component received. We call this Dynamic Component Composition.

Identifiers chosen by programmers convey rich semantic information that could be exploited to enhance program analysis for various software engineering tasks, e.g., anomaly detection, argument ...