A Formal Description of Object-Oriented Programming Using VDM.

Cydney Minkowitz Peter B. Henderson

Published in: VDM Europe (1987)

Keyphrases

object oriented programming
object oriented
programming language
programming concepts
key concepts
exception handling
development tools
functional programming
object oriented languages
formal specification
learning perl
multiscale
general purpose