PTQL


Program Trace Query Language is a language based on relational queries over program traces, in which programmers can write expressive, declarative queries about program behavior.