Functional Programming.
checking high-level program properties. Presented at the International Symposium on Software Testing and Analysis (ISSTA), 2006 [pdf] The Design and Implementation of a Dataflow Language for Scriptable Debugging by G. Marceau, G. H. Cooper, J. P. Spiro, S. Krishnamurthi, S. P. Reiss Debugging is a