First Steps Towards Fully Abstract Semantics for Object-Oriented Languages.

Phillip M. Yelland

Published in: Comput. J. (1989)

Keyphrases

object oriented languages
object oriented
object oriented programming
object oriented databases
logic programming
formal semantics
conceptual model
graphical representation
high level
semantic information
database
management system
programming language
metamodel
propositional dynamic logic