Graduate seminar, Thursday, Oct. 13, 4:30-5:30, POST 126 LiquidHaskell: Liquid Types for Haskell Niki Vazou, University of California, San Diego Abstract: Code deficiencies and bugs constitute an unavoidable part of software systems. In safety-critical systems, like aircrafts or medical equipment, even a single bug can lead to catastrophic impacts such as injuries or death. Formal […]
↧