| | |
Summary: 1
Types and Modularity for Implicit Invocation
with Implicit Announcement
FRIEDRICH STEIMANN and THOMAS PAWLITZKI
Fernuniversit¨at in Hagen
SVEN APEL
University of Passau
and
CHRISTIAN K ¨ASTNER
University of Magdeburg
Through implicit invocation, procedures are called without explicitly referencing them. Implicit
announcement adds to this implicitness by not only keeping implicit which procedures are called,
but also where or when--under implicit invocation with implicit announcement, the call site con-
tains no signs of that, or what it calls. Recently, aspect-oriented programming has popularized
implicit invocation with implicit announcement as a possibility to separate concerns that lead to
interwoven code if conventional programming techniques are used. However, as has been noted
elsewhere, as currently implemented it establishes strong implicit dependencies between compo-
nents, hampering independent software development and evolution. To address this problem, we
present a type-based modularization of implicit invocation with implicit announcement that is
inspired by how interfaces and exceptions are realized in JAVA. By extending an existing compiler
|
