A type system for checking specialization of packages in object-oriented programming.

Ferruccio Damiani Arnd Poetzsch-Heffter Yannick Welsch

Published in: SAC (2012)

Keyphrases

object oriented programming
programming language
object oriented
exception handling
type checking
key concepts
programming concepts
object oriented languages
functional programming
development tools
general purpose
software packages
object oriented concepts