Programming Languages

Sub-topics

• compilers and implementation
• concurrency and memory models
• language paradigms
• program analysis and verification
• programming language semantics
• type systems