This article talks about Program Analysis, which is detailed examination of every aspect of a program to ascertain its requirements and feasibility in view of the available resources. It is the process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety and liveness. It is actually focuses on two major areas: program optimization and program correctness. It also can be performed without executing the program, during runtime or in a combination of both.
More Post
Latest Post
-
Cathodic Protection – a technique for controlling corrosion
-
Electromagnetism – a discipline of physics
-
Astronomers Measure the Heaviest Black Hole Pair ever Discovered
-
Even Passive Smokers are Extensively Colonized by Microbes
-
Webb discovers Proof that a Neutron Star powers the Young Supernova Remnant
-
Flyback Transformer (FBT)