Programming Languages

A Meta Aspect Protocol for Developing Dynamic Analyses

by Michael Achenbach and Klaus Ostermann

In Proceedings of the Runtime Verification Conference, 2010.