Functional Programming.
Marceau Linux Journal, January 2007 [html] 2006 — The Case for Analysis Preserving Language Transformation by X. Zhang, L. Koved, M. Pistoia, S. Weber, T. Jaeger, G. Marceau Static analysis has gained much attention over the past few years in applications such as bug finding and program