1559 search results - page 250 / 312 » Fundamentals of Generic Programming |
ASWEC
2004
IEEE
15 years 1 months ago
2004
IEEE
Behavioural theory predicts that interventions that improving individual reviewers' expertise improves Software Development Technical Review group performance [3, p 6]. This ...
114
click to vote
FLOPS
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. This paper describes how high level implementations of (needed) narrowing into Prolog can be improved by analysing definitional trees. First, we introduce a refined repre...
ECMDAFA
2006
Springer
15 years 1 months ago
2006
Springer
In MDE, model transformations should be efficiently tested so that it may be used and reused safely. Mutation analysis is an efficient technique to evaluate the quality of test dat...
LPAR
2000
Springer
15 years 1 months ago
2000
Springer
We present the rational construction of a generic domain for structural information analysis of real CLP languages called Pattern(D ), where the parameter D is an abstract domain s...
PEPM
2000
ACM
15 years 1 months ago
2000
ACM
Many program optimisations and analyses, such as arraybound checking, termination analysis, etc, dependon knowing the size of a function's input and output. However, size inf...