Precise and Efficient Analysis of Java Programs

By Manas Thakur

The world of twenty-first century runs using computer programs. Whether it is a hand- held gadget or a powerful supercomputer, humans write programs, often in a high-level programming language (such as C, Java, Python, R, OCaml, and so on), to commu- nicate with these digital devices. However, in order to execute a program on a given machine, the program first has to be converted to a form that can be understood by that machine. Akin to the communication between any two persons who speak and under- stand different languages, human-computer interaction, thus, also requires a translator. Two primary examples of translators that convert the high-level language of computer programs to the low-level language of machines are interpreters and compilers. An interpreter executes a program instruction-by-instruction. On the other hand, typical compilers, while translating code from one form to another, perform a series of analyses on the input program. The results of these program analyses are used to drive a plethora of applications: understanding the semantics of a program, debugging an erroneous program, finding out whether a program is secure, and optimizing the program in terms of the resources it may consume (time, memory, energy, etc.), to name a few. Depending on the time at which a compiler translates a program, there are two kinds of compilers and program analyses: static and just-in-time (or JIT).

• Format: Paperback
• Language: English
• ISBN: B0CWJB2B4B
• ISBN13: 9798224248544
• Release Date: February 2024
• Publisher: Mohd Abdul Hafi
• Length: 126 Pages
• Weight: 0.68 lbs.
• Dimensions: 0.3" x 8.5" x 11.0"