Programming Languages and Verification
Programming languages are languages that were artificially made to send instructions to a
device such as a computer, ipad and many others. Tons of programs were invented because of the use
of programming languages. These programs had a lot of uses and advantages to the computer because
some of these uses, for example were to control printers, scanners and hard drives. Also, certain
requirements are needed to ensure the safety of the programs that are made and that the programs are
working properly. These requirements are called the verification of the programs.
The verification process checks whether the programs abide by the rules, regulations and
instructions used to make the program. There are some types of verifications, but the one that is used
for programs and software is called the formal verification. The formal verification of a program is a
routine that must be done to ensure the success of the program and that the program is working
perfectly normal. The formal verification also checks if you have built the correct program by a process
called dynamic testing. In dynamic testing, the program or software must be run in order to view if they
are working properly, and that they are sending the correct output for the input that the user puts. The
verification also gives a formal proof of the mathematical model of a program or software to ensure
their correctness and functions. Some mathematical models include the semantics of programming
languages. The semantics are divided into many categories such as axiomatic semantics, operational
semantics, denotational semantics and Hoare logic. These categories include a set of rules that carefully
guarantee that programs are working perfectly and exactly how they are supposed to work like.
The first programming language that was made was a language that used binary codes, which
are 0 and 1, because they are the language of the computers. So, any type of text could be translated
into binary codes and can be read by any computer. Many programmers worked with python and ruby
instead of java and c++ because they didn’t want to evolve to high level programs that had a lack of
efficiency. Every kind of thing that you do on your laptop from moving your mouse across the screen to
downloading a game has instructions that somebody wrote in a program.
In conclusion, programming languages are languages that were made in order for people to
connect better with computers to be able to do certain work. Programming languages were the reason
that many programs were made. These programs allowed the users of computers to access many
functions of the computers such as connecting a printer and a screen to a computer. The programming
languages however needed specific requirements in order to function. These requirements are called
the verification process. This process checks whether the program is made correctly and is functioning
like how it is supposed to be. Finally, I hope that programming languages will evolve more in the future.