267
click to vote
POPL
2000
ACM
16 years 16 hour ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
160
click to vote
GPCE
2004
Springer
16 years 1 months ago
2004
Springer
This paper describes Splice, a system for writing aspects that perform static program analyses to direct program modifications. The power of an inter-procedural data-flow analys...