Reasoning about inherent parallelism in modern object-oriented languages.

Wayne Reid Wayne Kelly Andrew Craik

Published in: ACSC (2008)

Keyphrases

object oriented languages
object oriented
object oriented programming
object oriented databases
qualitative reasoning
spatial reasoning
formal theory
database design
metamodel
knowledge base
relational databases
data model
software engineering
black box