Login / Signup
Semantics and Verification of Object-Oriented Languages (NII Shonan Meeting 2015-13).
Atsushi Igarashi
Andrzej S. Murawski
Nikos Tzevelekos
Published in:
NII Shonan Meet. Rep. (2015)
Keyphrases
</>
object oriented languages
object oriented
object oriented databases
object oriented programming
logic programming
formal semantics
model checking
relational databases
semantic information
database
multi agent
data model
general purpose
open source
knowledge management
metamodel