Algebraic reasoning for object-oriented programming.

Paulo Borba Augusto Sampaio Ana Cavalcanti Márcio Cornélio

Published in: Sci. Comput. Program. (2004)

Keyphrases

object oriented programming
object oriented
programming language
programming concepts
exception handling
key concepts
development tools
functional programming
object oriented languages
knowledge base
high level
reasoning process
object oriented concepts
expert systems
relational databases
learning perl