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