Matrix View

	Functional	Imperative (State-ful)	Distributed
Operational Semantics	Weeks 1,2 - ---	Weeks 3,4 ---	Week 11 -  ---
Logical/Type Theoretic (Axiomatic) Semantics	Week 6 Week 8	Week 7	Week 9 Week 12
Denotational Semantics	Week 5 - (Week 14)	Week 7	Week 10 Week 13 (Week 14)
Traditional Matrix (1970-2020) 50 year span

Themes/Connections

• Logic, history of CS - (green)
• Applications of PL, Semantic Theory (B)
  
  • security (language based security) - (red)   system reliability
  • formal methods (specification, verification) -
  • AI/automated reasoning ---
  • AI/natural language semantics ---
  • foundations of mathematics (FOM) -
  • formalized mathematics/digital libraries (Math Knowledge Management)
  • AI/machine learning -
  • symbolic algebra/geometry systems (Mathematica, Maple, Leda, CGAL) ---
  • numerical methods ---
  • network systems
• TheoryA
  • computational complexity -