Titlebook: Automatic Program Development; A Tribute to Robert Olivier Danvy,Harry Mairson,Alberto Pettorossi Book 2008 Springer Science+Business Medi

expound

Global Plantations in the Modern Worldt for AOP is provided mainly in the form of code-level constructs. This paper presents a way to express crosscutting features as logical invariants and then to generate the kind of code that is usually produced from manually written aspects. In order to state invariants that express crosscutting fea