From object-oriented code with assertions to behavioural types.

Cláudio Vasconcelos António Ravara

Published in: SAC (2017)

Keyphrases

object oriented
source code
relational databases
data model
database design
object oriented modeling
knowledge base
programming language
database schema
data warehousing
open source
industry standard
multiple types
object oriented databases
database
bayesian networks
learning algorithm
real world