|
|
Mar 29, 2024
|
|
CS 7192 - Seminar in Programming Refinement Logics Fall, spring. 1 credit.
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.
Add to Favorites (opens a new window)
|
|
|