CS 7192

Last Updated

  • Schedule of Classes - July 10, 2025 1:15PM EDT
  • Course Catalog - June 11, 2015 6:21PM EDT

CS 7192
Seminar in Programming Refinement Logics

Course information provided by the 2014-2015 Catalog.

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.


Permission Note Permission of instructor is required.

When Offered Fall.

View Enrollment Information

Syllabi: none

  •   Regular Academic Session. 

  • 1 Credit Stdnt Opt

  • 12688 CS 7192   SEM 101

  •  
    • W

    • Constable, B

  • Instruction Mode: In Person