Login / Signup
Practical and Sound Equality Tests, Automatically: Deriving eqType Instances for Jasmin's Data Types with Coq-Elpi.
Benjamin Grégoire
Jean-Christophe Léchenet
Enrico Tassi
Published in:
CPP (2023)
Keyphrases
</>
data types
data structure
database management systems
data model
database systems
user defined
data manipulation language
back end
real world
object types
database server
data mining algorithms
abstract data types
data formats
management system
database design
data points
database objects
data mining
data sets