Verifying aspect advice modularly.

Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computer-aided verification. We present a technique for verifying aspect-oriented programs (expressed as state machines). Our technique assu...

Descrizione completa

Dettagli Bibliografici
Pubblicato in:Software engineering notes. 29, 6 (2004).
Autore principale: Krishnamurthi, Shriram
Natura: Articolo
Lingua:English
Soggetti: