I recently watched two videos from POPL and wanted to help make their ideas more widely known. Ten minutes of text to help you decide whether to watch eighty minutes of video, what a deal! Incorrectness Logic by Peter O’Hearn (paper, talk) The core idea: create a program logic for finding bugs rather than preventing […]
