From algebra to abstract machine: a verified generic construction.

Carlos Tomé Cortiñas Wouter Swierstra

Published in: TyDe@ICFP (2018)

Keyphrases

abstract machine
data model
query language
artificial intelligence
databases
relational algebra
domain specific
database systems
high level
decision trees
expert systems
information technology
relational databases
multimedia
decision making
complex objects
neural network
construction process
data sets