10 search results - page 1 / 2 » foal 2007 |
FOAL
2007
ACM
13 years 8 months ago
2007
ACM
FOAL
2007
ACM
13 years 8 months ago
2007
ACM
FOAL
2007
ACM
13 years 8 months ago
2007
ACM
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...
FOAL
2007
ACM
13 years 8 months ago
2007
ACM
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...
FOAL
2007
ACM
13 years 8 months ago
2007
ACM
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...