Model-based SW - Teaching material

There is no required textbook for this course. The material provided should suffice. See below for additional resources.

Lecture notes are provided in html format. Please don’t print these notes!

• Centered around Go

  • Go basics + higher-order functions + lambda calculus

  • Methods, overloading, interfaces and structural subtyping

  • Generics in Go

  • Concurrency

  • Building concurrency abstractions in Go (futures and promises)

• Rust

  • Rust

• C++

  • C++

• Haskell

  • Haskell

  • OO in Haskell and Go versus Haskell

  • Rust versus Haskell

  • Haskell to implement other languages

• Programming language semantics

  • Static and dynamic semantics

  • Syntax analysis

  • Types