4959 search results - page 571 / 992 » Imperative Functional Programming |
222
click to vote
FOSSACS
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
153
click to vote
GECCO
2004
Springer
16 years 7 days ago
2004
Springer
Fitness functions derived for certain white-box test goals can cause problems for Evolutionary Testing (ET), due to a lack of sufficient guidance to the required test data. Often t...
148
click to vote
GI
2004
Springer
16 years 7 days ago
2004
Springer
: In this paper we describe the advantages of a model-based approach to embedded component middleware. Component infrastructures such as Enterprise JavaBeans, Microsoft’s COM+ an...
180
click to vote
LOPSTR
2004
Springer
16 years 6 days ago
2004
Springer
We address the problem of an efficient rewriting strategy for general term rewriting systems. Several strategies have been proposed over the last two decades for rewriting, the mos...
148
click to vote
SIGADA
2004
Springer
16 years 6 days ago
2004
Springer
This paper describes several tools related to the Ada language that were developed to support the teaching of a computer graphics course. These tools include an updated and improv...