Bridging Arrays and ADTs in Recursive Proofs.

Grigory Fedyukovich Gidon Ernst

Published in: TACAS (2) (2021)

Keyphrases

data model
abstract data types
data types
theorem proving
behavioral models
object oriented
programming language
theorem prover
database systems
artificial neural networks
query language
object oriented databases
relational database systems
relational algebra