2777 search results - page 316 / 556 » Example centric programming |
124
click to vote
EUROCAST
2001
Springer
15 years 7 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...
136
click to vote
EUROGP
2001
Springer
15 years 7 months ago
2001
Springer
In this paper, firstly we specialise the exact GP schema theorem for one-point crossover to the case of linear structures of variable length, for example binary strings or program...
113
click to vote
FASE
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
118
click to vote
LPAR
2001
Springer
15 years 7 months ago
2001
Springer
When writing a constraint program, we have to decide what to make the decision variable, and how to represent the constraints on these variables. In many cases, there is considerab...
111
click to vote
CSFW
2000
IEEE
15 years 7 months ago
2000
IEEE
We consider the problem of assembling concurrent software systems from untrusted or partially trusted o -the-shelf components, using wrapper programs to encapsulate components and...