CS 7192 - [Seminar in Programming Refinement Logics]

Fall, Spring. 1 credit. Student option grading.

Permission of instructor required.

Staff.

Topics in programming logics, possibly including type theory, constructive logic, decision procedures, heuristic methods, extraction of code from proofs, and the design of proof-development and problem-solving systems.