Computer_program_analysis Computer_program_analysis

Computer program analysis - Definition

Related Words: Accountant, Actuary, Adder, Analyzer, Bookkeeper, Calculator, Coder, Compiler, Decoder, Detector, Differential

Computer program analysis is the process of automatically analysing the behavior of computer programs.

Two main approaches in program analysis are static program analysis and dynamic program analysis.

Main applications of program analysis are program optimization and program correctness.

Techniques related to program analysis include: type systems, program verification, model checking.

Example Usage of Computer

MJ5nMotown4ever: wow i had 2 redo my Computer, i almost really didn't this time. today was almost my last day on the internet.
Livingasmom: RT @RobynsWorld: Is Santa bringing your kids a Computer for xmas? Best get it ready to run before they open it http://tinyurl.com/yepfkbs
poppunkrockluvr: the sound on the Computer isnt working...damn these dumb speakers!! i cant watch videos without sound!
Copyright 2009 WordIQ.com - Privacy Policy  :: Terms of Use  :: Contact Us  :: About Us
This article is licensed under the GNU Free Documentation License. It uses material from the this Wikipedia article.