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

Phillip M. Yelland

Published in: ECOOP (1989)

Keyphrases

object oriented languages
object oriented
object oriented programming
object oriented databases
formal semantics
high level
propositional dynamic logic
databases
case study
software development
logic programming
database applications
semantic information
conceptual model