Quick Links

• Introduction (Chap 1, Chap 15)
• Language description - syntax (Chap 2)
  • Expressions and values
  • Abstract syntax trees
  • Grammars
  • Regular expressions
• Imperative programming (Part 2)
  • Structured language
  • Types
  • Allocation, pointers
  • Binding
  • Scope, visibility
  • Parameter passing
  • Correctness of imperative programs
  • C programming
• Object oriented programming
  • Structured language
  • Abstraction, information hiding
  • Encapsulation: Abstract Data Type, objects, genericity, parametrized types.
  • Inheritance, polymorphism, overloading
  • JAVA/C++ programming
• Functional programming
  • Types
  • Functions declaration
  • Expressions evaluations
  • SML programming
    • Types
    • Lists, datatyoes, pattern matching
    • Polymorphism
    • Let
    • Currying, higher order functions
• Logic programming
  • PROLOG programming
    • Relations
    • Programming techniques: Resolution
    • Cut
• Concurrent programming
  • PVM programming
    • Processes
    • Synchronization