Sign in
A Relational Program Logic with Data Abstraction and Dynamic Framing.
Anindya Banerjee
Ramana Nagasamudram
David A. Naumann
Mohammad Nikouei
Published in:
ACM Trans. Program. Lang. Syst. (2022)
Keyphrases
</>
data abstraction
fault localization
database management
conceptual modelling
conceptual modeling
formal specification
abstract data types
database
relational databases
data model
object oriented
programming language
artificial intelligence
high level
data structure
object oriented databases