1520 search results - page 28 / 304 » Class Hierarchy Specialization |
LPAR
2010
Springer
13 years 5 months ago
2010
Springer
We present a sound and complete model of lambda-calculus reductions based on structures inspired by modal logic (closely related to Kripke structures). Accordingly we can construct...
OOIS
1997
Springer
13 years 11 months ago
1997
Springer
Subjects model di erent perspectives on a problem domain by collections of related class hierarchies. Subjects can be seen as the result of separate and possibly independent devel...
CCS
2009
ACM
14 years 2 months ago
2009
ACM
In this paper, we present a new approach to performing important classes of genomic computations (e.g., search for homologous genes) that makes a significant step towards privacy...
DAGSTUHL
1996
13 years 9 months ago
1996
As partial evaluation gets more mature, it is now possible to use this program transformation technique to tackle realistic languages and real-size application programs. However, t...
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
The ability for software products to adapt to future changes is essential. Whether the change, the delta, is prefixed to subclasses or postfixed to super classes, class hierarchie...