Using Ownership to Reason about Inherent Parallelism in Object-Oriented Programs.

Andrew Craik Wayne Kelly

Published in: CC (2010)

Keyphrases

object oriented programs
specification languages
integration testing
object oriented
impact analysis
formal specification
software engineering
black box
data sets
machine learning
knowledge representation
open source
error rate