Treffer: A Relational Program Logic with Data Abstraction and Dynamic Framing.
Title:
A Relational Program Logic with Data Abstraction and Dynamic Framing.
Authors:
BANERJEE, ANINDYA1 anindya.banerjee@imdea.org, NAGASAMUDRAM, RAMANA2 rnagasam@stevens.edu, NAUMANN, DAVID2 naumann@cs.stevens.edu, NIKOUEI, MOHAMMAD2 snikouei@stevens.edu
Source:
ACM Transactions on Programming Languages & Systems. Dec2022, Vol. 44 Issue 4, p1-135. 135p.
Database:
Business Source Ultimate