10 search results - page 1 / 2 » foal 2007 |
138
Voted
FOAL
2007
ACM
15 years 10 months ago
2007
ACM
163
click to vote
FOAL
2007
ACM
15 years 10 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...
165
click to vote
FOAL
2007
ACM
15 years 10 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...
199
click to vote
FOAL
2007
ACM
15 years 10 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...