10 search results - page 1 / 2 » foal 2007 |
101
Voted
FOAL
2007
ACM
15 years 7 months ago
2007
ACM
103
Voted
FOAL
2007
ACM
15 years 7 months ago
2007
ACM
118
Voted
FOAL
2007
ACM
15 years 7 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...
111
Voted
FOAL
2007
ACM
15 years 7 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...
130
Voted
FOAL
2007
ACM
15 years 7 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...