A Relational Program Logic with Data Abstraction and Dynamic Framing

Abstract

Dedicated to Tony Hoare.

Document Details

• Document Type: Pub Defense Publication
• Publication Date: Dec 31, 2022
• Source ID: 10.1145/3551497

Entities

People

• Anindya Banerjee
• David A. Naumann
• Mohammad Nikouei
• Ramana Nagasamudram

Organizations

• Instituto Madrileño de Estudios Avanzados
• National Science Foundation
• Office of Naval Research
• Stevens Institute of Technology