A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95.

Tse-Min Lin John Alexander McDermid

Published in: Ada-Europe (2003)

Keyphrases

object oriented programming
object oriented
programming language
programming concepts
key concepts
functional programming
exception handling
development tools
learning perl
object oriented languages
web development
database
multiscale
object recognition
distance learning