CSC535: Overview: What you'll get out of the course [4/21]

• A more sophisticated perspective on programs, programming languages, and the activity of programming
  • How to view programs and whole languages as formal, mathematical objects
  • How to make and prove rigorous claims about them
  • Detailed study of a range of basic language features
• Powerful mathematical tools for software specification and analysis
  • Constructive logic
  • Inductive methods of definition and proof
  • Hoare logic
  • Type systems
• Expertise using a cutting-edge mechanical proof assistant