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