Analysis of modern programming languages focusing on paradigms such as imperative, object-oriented, functional, and declarative. Includes types of systems, security, and type inference