Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics.

Published in: ECOOP (2012)

Keyphrases

object oriented languages
object oriented
logic programming
formal semantics
object oriented databases
semantic information
big data
object oriented programming
artificial intelligence
database
high level
relational model