5 search results - page 1 / 1 » Teaching Object-Oriented Programming with the KEE System |
OOPSLA
1987
Springer
13 years 8 months ago
1987
Springer
FASE
2000
Springer
13 years 8 months ago
2000
Springer
A proof system is presented for the verification and derivation of object oriented programs with as main features strong typing, dynamic binding, and inheritance. The proof system...
Book
"The goal of this book is to teach you to think like a computer scientist. I like the way computer scientists think because they combine some of the best features of Mathemati...
Book
""The goal of this book is to teach you to think like a computer scientist. I like the way computer scientists think because they combine some of the best features of Mat...
CACM
1999
13 years 4 months ago
1999
ion suffices ("decide which type you want and provide a full set of operations for each type"). If the application domain is, say, the administration of a university, the...