A trustworthy mechanized formalization of R.

Martin Bodin Tomás Diaz Éric Tanter

Published in: DLS (2018)

Keyphrases

knowledge representation
formal model
operational semantics
relational databases
database
training data
learning environment
computer science
decision support
formal analysis