Later Credits: A Case Study in the Unreasonable Effectiveness of Separation Logic
Offered By: ACM SIGPLAN via YouTube
Course Description
Overview
Explore a compelling case study on the remarkable efficacy of separation logic in this 17-minute conference talk presented by Derek Dreyer at ACM SIGPLAN's O'HearnFest. Delve into the concept of "Later Credits" and discover how it exemplifies the powerful applications of separation logic in computer science and programming. Gain insights into advanced logical reasoning techniques and their practical implications for software development and verification.
Syllabus
[O'HearnFest] Later Credits: A Case Study in the Unreasonable Effectiveness of Separation ...
Taught by
ACM SIGPLAN
Related Courses
Human Computer InteractionIndependent 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