Courses of Study 2016-2017 
    
    Mar 29, 2024  
Courses of Study 2016-2017 [ARCHIVED CATALOG]

Add to Favorites (opens a new window)

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)