8132 search results - page 321 / 1627 » Dependability, Abstraction, and Programming |
200
click to vote
ECOOP
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Starting from the advantages of using Feature-Oriented Programming (FOP) and program families to support software evolution, this paper discusses the drawbacks of current...
173
click to vote
GPCE
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Component-oriented programming yields a tension between higherorder features (deployment, reconfiguration, passivation), encapsulation, and component sharing. We propose...
187
click to vote
IFL
2003
Springer
15 years 12 months ago
2003
Springer
Abstract This paper presents a type-based analysis for inferring sizeand cost-equations for recursive, higher-order and polymorphic functional programs without requiring user annot...
169
click to vote
LPNMR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Considering different implication operators, such as Lukasiewicz, G¨odel or product implication in the same logic program, naturally leads to the allowance of several a...
150
click to vote
DDEP
2000
Springer
15 years 11 months ago
2000
Springer
There are parallels between the construction of programs and the construction of hypertexts, and in ar between the abstractions available to the application programmer and those a...