1520 search results - page 9 / 304 » Class Hierarchy Specialization |
IWPC
2008
IEEE
14 years 2 months ago
2008
IEEE
Inheritance is an important mechanism when developing object-oriented programs with class-based programming languages: it enables subtyping, polymorphism, and code reuse. Inherita...
ITP
2010
13 years 9 months ago
2010
We present a new formalization of the algebraic hierarchy in Coq, exploiting its new type class mechanism to make practical a solution formerly thought infeasible. Our approach add...
APSEC
1998
IEEE
13 years 12 months ago
1998
IEEE
Modified programs are required to be retested to determine whether changes have been made correctly and to investigate whether those cause any adverse effect on the program behavi...
STOC
2005
ACM
14 years 8 months ago
2005
ACM
ACMSE
2004
ACM
14 years 1 months ago
2004
ACM
Java has emerged as one of the most dynamic programming languages today. During the past eight years it has become a leading choice as the programming language for an introductory...