2290 search results - page 271 / 458 » Extensible Protected Types |
169
click to vote
EUROCAST
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper introduces a higher-order lazy narrowing calculus (HOLN for short) that solves higher-order equations over the domain of simply typed λ-terms. HOLN is an exte...
139
click to vote
ICALP
2001
Springer
15 years 11 months ago
2001
Springer
Formal power series are an extension of formal languages. Recognizable formal power series can be captured by the so-called weighted finite automata, generalizing finite state ma...
166
click to vote
REFLECTION
2001
Springer
15 years 11 months ago
2001
Springer
A number of approaches have been proposed to achieve separation of concerns. Although all these approaches form suitable candidates for separating cross-cutting concerns in a syste...
129
click to vote
SPW
2001
Springer
15 years 11 months ago
2001
Springer
Although the notion of negotiation has been used extensively in secure communication protocols to establish common keying states, protocol modes and services, this notion is only n...
149
click to vote
TOOLS
2000
IEEE
15 years 10 months ago
2000
IEEE
— In Java, method implementations are chosen at runtime by late-binding with respect to the runtime class of just the receiver argument. However, in order to simplify many progra...