CS 7192 - Seminar in Programming Refinement Logics

Fall. 1 credit.

Permission of instructor is 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.