A Relational Program Logic with Data Abstraction and Dynamic Framing.
| Autor: | BANERJEE, ANINDYA1 anindya.banerjee@imdea.org, NAGASAMUDRAM, RAMANA2 rnagasam@stevens.edu, NAUMANN, DAVID2 naumann@cs.stevens.edu, NIKOUEI, MOHAMMAD2 snikouei@stevens.edu |
|---|---|
| Zdroj: | ACM Transactions on Programming Languages & Systems. Dec2022, Vol. 44 Issue 4, p1-135. 135p. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|