Programming Languages

A Meta Aspect Protocol for Developing Dynamic Analyses

by Michael Achen­bach and Klaus Os­ter­mann

In Pro­ceed­ings of the Run­time Ver­i­fi­ca­tion Con­fer­ence, 2010.