Programming Languages and Verification

What is a programming language? According to, it is a language designed specifically for computers, which provides a way to communicate orders to a computer to complete certain tasks. It is written by humans and converted into binary code to be read by a computer. Programs are made which, with the use of algorithms, are executed by the computer and produce results based on its written code. The arrangement of symbols in programming languages is called syntax, which makes sure that the structure and positioning of the code is correct but doesn’t deal with the logical meaning of it. Semantics as well as pragmatics deal with the execution of the program and its input and output. Popular programming languages include C, C++, Java and Python, however there are many others as well. Programming Languages are developing and growing every day and are vital to the future of Computer Science.

Program verification is when programs are tested to show that they do not contain any errors; there are many ways of verification in programming such as operational reasoning, which evaluates the sequences implementation or axiomatic reasoning, which uses proof systems containing axioms and rules.

  1. What programming languages are going to be the most important in the future
  2. What Verification method is the most reliable?
  3. Should time be invested in creating new programming languages or developing the existing ones?


http://www.cs.uiowa.edu/~slonnegr/plf/Book/Chapter1.pdf
http://cplus.about.com/od/introductiontoprogramming/p/programming.htm
http://langpop.com/
http://oai.cwi.nl/oai/asset/2003/2003A.pdf
http://www.webopedia.com/welcomead/

Revised at the ARC:

What is a programming language? A programming is a language designed specifically for computers, which provides a way to communicate orders to a computer for completing certain tasks. It is written by humans and converted into binary code to be read by a computer. Programs are made and, with the use of algorithms, are executed by the computer and produce results based on its written code. The arrangement of symbols in programming languages is called syntax; this makes sure that the structure and positioning of the code is correct but doesn’t deal with the logical meaning of it. Semantics as well as pragmatics deal with the execution of the program and its input and output. Popular programming languages include: C, C++, Java and Python; however there are many others as well. Programming Languages are developing and growing every day and are vital to the future of Computer Science.

Program verification is when programs are tested to show that they do not contain any errors. There are many ways of verification in programming such as operational reasoning, which evaluates the sequences implementation or axiomatic reasoning, which uses proof systems containing axioms and rules.