Comparative analysis of several modern high level languages in terms of data types and control structures, with emphasis on run-time behavior of programs.