Files

Abstract

Dispatching calls decrease the understandability of programs, and thus some extra annotations must be given some extra highlight by special annotation. We present and criticize several possibilities to annotate dispatching and re-dispatching calls.

Details

Actions