2105 search results - page 78 / 421 » Decoupling in Object Orientation |
250
click to vote
Book
"This book is about the fundamentals of data structures and algorithms--the basic elements from which large and complex software artifacts are built. To develop a solid unders...
CVPR
1997
IEEE
16 years 6 months ago
1997
IEEE
219
click to vote
ICDE
1996
IEEE
16 years 5 months ago
1996
IEEE
View materialization is known to be a valuable technique for performance optimization in relational databases, and much work has been done addressing the problem of consistently m...
253
click to vote
ECOOP
2009
Springer
16 years 4 months ago
2009
Springer
We propose a novel approach based on coinductive logic to specify type systems of programming languages. The approach consists in encoding programs in Horn formulas which are inter...