In a few weeks I have to give a new lecture on program query languages and tools. I want to give an intuitive definition of what those are, what purpose they serve, explain the difference between static and dynamic analysis, and then zoom in on zoom static analysis tools in particular going from simple regular expressions, and ad-hoc AST traversal, to more advanced tools like CheckStyle or even logic meta programs that reason over a representation of the source code as a set of logic facts. Does anyone know a presentation that covers such topics are part of them? Anything that can contribute is fine, and I am willing to publicly share my own presentation afterwards as well.