26 search results - page 6 / 6 » Proving the Equivalence of Higher-Order Terms by Means of Su... |
AOSD
2010
ACM
14 years 5 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...