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++, C++.net
  2. QB,VB
  3. Java, Objective-C
  4. Ruby,Python,Perl,Lua
  5. Lisp,ML,Haskell
  6. Assembly language

Sources

Questions

  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?