Sciweavers

Share
10 search results - page 1 / 2
» foal 2007
Sort
View
FOAL
2007
ACM
12 years 6 days 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
FOAL
2007
ACM
12 years 6 days 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
FOAL
2007
ACM
12 years 6 days 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
books