Program analysis

In computer science, program analysis is the process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety and liveness. Program analysis focuses on two major areas: program optimization and program correctness. The first focuses on improving the program’s performance while reducing the resource usage while the latter focuses on ensuring that the program does what It is supposed to do.

单词	Program analyzer
释义	Program analyzer 英语百科 Program analysis In computer science, program analysis is the process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety and liveness. Program analysis focuses on two major areas: program optimization and program correctness. The first focuses on improving the program’s performance while reducing the resource usage while the latter focuses on ensuring that the program does what It is supposed to do.
随便看	central bank balance sheet central bank credit control Central bank governor central bank independence central banking function central banking system central bank intervention Central bank money Central Bank of Argentina Republic Central Bank of Brazil central bank of central banks central bank of china Central Bank of Cyprus Central Bank of Egypt Central Bank of Iraq Central Bank of Ireland Central Bank of Jordan Central Bank of Kenya Central Bank of Kuwait Central Bank of Libya Central Bank of Malta Central Bank of Nigeria Central Bank of Oman Central Bank of Somalia Central Bank of Sri Lanka

Program analyzer

Program analysis