3736 search results - page 499 / 748 » Generative Programming |
167
click to vote
SIGADA
1999
Springer
15 years 10 months ago
1999
Springer
Representing interdependencies between the objects of an object-oriented software application requires designtime mechanisms for specifying object interrelationships, as well as s...
210
click to vote
ISORC
1998
IEEE
15 years 10 months ago
1998
IEEE
Component-based software development would allow application software be largely constructed, rather than programmed. This approach would dramatically improve the productivity of ...
189
click to vote
ASPLOS
1998
ACM
15 years 10 months ago
1998
ACM
As the gap between memory and processor speeds continues to widen, cache efficiency is an increasingly important component of processor performance. Compiler techniques have been...
176
click to vote
POPL
1998
ACM
15 years 10 months ago
1998
ACM
We present a formal specification of unCurrying for a higher-order, functional language with ML-style let-polymorphism. This specification supports the general unCurrying of func...
165
click to vote
ICALP
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We study entailment of structural and nonstructural recursive subtyping constraints. Constraints are formal inequalities between type expressions, interpreted over an ord...