2722 search results - page 138 / 545 » Automating Language Evolution |
142
click to vote
FLOPS
2008
Springer
15 years 6 months ago
2008
Springer
In this paper, we present an extension of the scheme HH(C) (Hereditary Harrop formulas with Constraints) with a suitable formulation of negation in order to obtain a constraint ded...
132
click to vote
CL
2008
Springer
15 years 4 months ago
2008
Springer
Component-orientedprogramming(COP)isactuallyakeyresearchtrackinsoftwareengineering.Avarietyofcomponent-oriented s (COLs) have been proposed with new or adapted abstractions and me...
142
click to vote
ICLP
1997
Springer
15 years 9 months ago
1997
Springer
We introduce novel, sound, complete, and locally optimal evaluation strategies for functional logic programming languages. Our strategies combine, in a non-trivial way, two landma...
163
click to vote
DL
1994
Springer
15 years 9 months ago
1994
Springer
Digital Libraries will hold huge amounts of text and other forms of information. For the collections to be maximally useful, they must be highly organized with useful indexes and ...
147
click to vote
PUK
2003
15 years 6 months ago
2003
In order to handle the large amount of variability in product families, automated product derivation support is desirable. To make automated product derivation possible one importa...