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

Secure Software Development: Verification and More Specialized Topics
Linux Foundation via edX Developing Secure Software
LinkedIn Learning Ethical Hacking: Mobile Devices and Platforms
LinkedIn Learning Tüm Aşamalarıyla İnşaat Eğitimi - AUTOCAD/STA4/EXCEL/PROJECT
Udemy Mobile Security: Reverse Engineer Android Apps From Scratch
Udemy