A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts.

Cees Pierik Frank S. de Boer

Published in: FMOODS (2003)

Keyphrases

programming concepts
object oriented programming
object oriented
program code
programming language
data model
computer programming
database applications
relational databases
visual basic
game design
software engineering
programming course
query language
design patterns
database design
programming skills
databases