CIS 705: Advanced Programming Languages

Prerequisite Topics

  • Trees, algorithms and recursion
  • Functional and object-oriented programming and programming
    languages
  • Introduction to basic concepts of programming languages, such as
    scoping, typing, abstraction and exceptions
  • Basic set theory, and reading and writing mathematical proofs

Goals

  • In-depth study of programming paradigms, including one or more of
    logic, functional, object-oriented and concurrent programming, and
    programming languages supporting the selected paradigms
  • In-depth study of programming language concepts, including
    typing, scoping, abstraction and exceptions
  • Introduction to programming language semantics
  • Study of programming language design
  • Study of development environments