Programming Languages and Verification

Features of programming languages

1. imperative programming vs functional programming

2. object-oriented vs process-oriented

3. Statically Typed Language vs Dynamically Typed Language

4. Scripting language vs Compiled language

Some popular languages

  1. C, C++,
  2. QB,VB
  3. Java, Objective-C
  4. Ruby,Python,Perl,Lua
  5. Lisp,ML,Haskell
  6. Assembly language



  1. Besides the technically elements, what are other reasons that make a programming language a good language?

  2. Would a computer language be able to create new language by itself? and revising it by itself?

  3. What exactly is programming in Logic?