12 search results - page 3 / 3 » A Theory of Singly-Linked Lists and its Extensible Decision ... |
AOSD
2011
ACM
12 years 12 months ago
2011
ACM
Block joinpoints allow programmers to explicitly mark regions of base code as “to be advised”, thus avoiding the need to extract the block into a method just for the sake of c...
LICS
2008
IEEE
13 years 11 months ago
2008
IEEE
We investigate the notions of may- and mustapproximation in Erratic Idealized Algol (a nondeterministic extension of Idealized Algol), and give explicit characterizations of both ...