Programming domains; Language Evaluation; Programming Paradigms – Imperative, Functional, OOP and Logic programming; Formal methods: syntax and semantics - Backus Naur Form, Attribute grammars; Describing semantics - Denotational semantics; Data types, Names, Variables, Bindings, Scope and lifetime, Referencing Environments; Named Constants-Variable Initialization-Subprograms-Parameter Passing – Coroutines; Even Driven Programming: Fundamentals; Case studies from Desktop to Mobile applications, VB.NET, ANDRIOD Applications; Functional programming languages - Lambda calculus - LISP; Application of functional programming languages; Logic programming languages –introduction to predicate calculus - Horn clauses - Logic programming: Prolog, Applications; Asynchronous Programming Model with a Case Study (AJAX, C#...); Run-time Program Management; Virtual Machines: Java Virtual Machine, Common Language Infrastructure, Late Binding of Machine Code, Just-in-Time and Dynamic Compilation, Binary Translation, Binary Rewriting, Mobile Code and Sandboxing, Performance Analysis.