Type Checking Object-Oriented Programs: Core of the Problem and Some Solutions.

Jean-Claude Royer

Published in: J. Object Oriented Program. (1998)

Keyphrases

object oriented programs
type checking
integration testing
specification languages
query processor
object oriented
data model
management system
black box
formal specification