A dataflow language for scriptable debugging | IEEE Conference Publication | IEEE Xplore