26 search results - page 6 / 6 » Proving the Equivalence of Higher-Order Terms by Means of Su... |
269
click to vote
AOSD
2010
ACM
16 years 27 days ago
2010
ACM
Advice is a mechanism, widely used in aspect-oriented languages, that allows one program component to augment or modify the behavior of other components. When advice and other com...