Sciweavers

130
Voted
FOAL
2007
ACM
15 years 7 months ago
Aspect-oriented programming with type classes
We consider the problem of adding aspects to a strongly typed language which supports type classes. We show that type classes as supported by the Glasgow Haskell Compiler can mode...
Martin Sulzmann, Meng Wang
120
Voted
FOAL
2007
ACM
15 years 7 months ago
On bytecode slicing and aspectJ interferences
AspectJ aims at managing tangled concerns in Java systems. Crosscutting aspect definitions are woven into the Java bytecode at compile-time. Whether the better modularization intr...
Antonio Castaldo D'Ursi, Luca Cavallaro, Mattia Mo...
112
Voted
FOAL
2007
ACM
15 years 7 months ago
Specializing continuations a model for dynamic join points
By modeling dynamic join points, pointcuts, and advice in a defunctionalized continuation-passing style interpreter, we provide a fundamental account of these AOP mechanisms. Dyna...
Christopher Dutchyn
118
Voted
FOAL
2007
ACM
15 years 7 months ago
Aspects and modular reasoning in nonmonotonic logic
Nonmonotonic logic is a branch of logic that has been developed to model situations with incomplete information. We argue that there is a connection between AOP and nonmonotonic l...
Klaus Ostermann
103
Voted
FOAL
2007
ACM
15 years 7 months ago
Towards a type system for detecting never-matching pointcut compositions
Tomoyuki Aotani, Hidehiko Masuhara
Natural Language Processing
Top of PageReset Settings