Programming language and verification

“Everybody in this country should learn how to program a computer because it teaches you . how to think” – Steve Jobs

A program is a set of commands to solve a specific problem, using a computer. They are written in a language that computers will be able to understand.There are different programming languages. Each programming language has its own syntax, which contains set of rules that determine how words and symbols can be combined to form a program. There are hundreds of different programming languages, but only few of them are really popular. A programmer can use many programming languages effortlessly.

Java is one of the most popular programming languages and used plenty by programmers. It was developed by Sun Microsystems in 1990. Used for business software, online content, games and phone apps, in addition to the Android operating system. Java is meant to function across several software platforms. So, if a program was written in Windows, it could also work on Mac.

Another popular language is C language, it was developed in the 70s; it is the oldest and widely used language. C is mostly used for implementing operating systems and embedded applications. It provides the building blocks for other common languages, for instance C#, Java, JavaScript and Python.

C++ is a high-level programming language developed by Bjarne Stroustrup at Bell Labs beginning in 1979. It was first identified as "C with classes". When he was a graduate student, Stroustrup was disturbed that available languages was either fast performance or high-level features for program organization, but not both. This stimulated him to write his own programming language. He set out to create a programming language that compiles to lean, efficient code, and also provides high-level abstractions to better manage large development projects. The language was later named "C++", a tongue-in-cheek reference to ++, an operator in C that increments a value by one.

My experience in programming with different programming language is few. I learned to program in school using java language. It was for about 5 months, in my I.T class. It was simple and easy. It is makes the programmer to try thinking outside of the box. So, it helped with developing my problem solving. Moreover, it’s helping me these days with programming in python. Since, they are similar in some ways. For instance, both of them have inputs, outputs, print, solve, sets, loops and if statements.


For more information about Programmig Languages and verification :

  • Spectrum
  • Mashable
  • Youtube
  • Vimeo
  • Wikipedia

  • Questions :

    what are the most popular Programming language?

    Why there are few popular Programming languages?

    Which programming language he uses the most?


    Time Management

    Randy Pausch was an american professor of computer science, human-computer interaction, and design at carnegie mellon in pittsburgh. he was known for his "Last Lecture" , where he talked about Time Management.

    Theory of Computation

    Theory of Computation is a branch of computer science that is primarily concerned with how problems can be solved using algorithms. These studies are used to understand the way an algorithm is meant to function...