Foo: a minimal modern OO calculus.

Prodromos Gerakios George Fourtounis Yannis Smaragdakis

Published in: FTfJP@ECOOP (2015)

Keyphrases

object oriented
programming language
object oriented databases
conceptual modeling
data model
databases
artificial intelligence
knowledge base
query language
design methodology
formal language
provably correct
computer algebra
object oriented modeling
data mining
database schema