Is Peter Correct or Incorrect? - O'HearnFest Lecture

Offered By: ACM SIGPLAN via YouTube

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!

Explore a thought-provoking 24-minute conference talk by Patrick Cousot, presented at ACM SIGPLAN's O'HearnFest. Delve into the intriguing question of correctness in Peter O'Hearn's work, examining the implications and nuances of his theories in computer science and programming languages. Gain insights from Cousot's expert analysis and perspective on this topic, potentially uncovering new understandings in the field of program verification and reasoning.

Syllabus

[O'HearnFest] Is Peter Correct or Incorrect?

Taught by

ACM SIGPLAN

Related Courses

Human Computer Interaction
Independent Introduction à la logique informatique - Partie 2 : calcul des prédicats
Université Paris-Saclay via France Université Numerique System Validation (4): Modelling Software, Protocols, and other behaviour
EIT Digital via Coursera Formal Software Verification
University System of Maryland via edX Principles of Secure Coding
University of California, Davis via Coursera