Function extraction (FX) technology: automated calculation of program behavior for high-assurance systems
R.C. Linger, Mark G. Pleszkoch · 2004
The function-theoretic view of programs suggests the possibility of automated calculation of program behavior. While significant theoretical challenges exist, the value of behavior calculation for high-assurance systems could be substantial.