5090 search results - page 292 / 1018 » Constructing Strategies for Programming |
144
click to vote
PLDI
2012
ACM
13 years 7 months ago
2012
ACM
Approximate program transformations such as skipping tasks [29, 30], loop perforation [21, 22, 35], reduction sampling [38], multiple selectable implementations [3, 4, 16, 38], dy...
122
click to vote
PPPJ
2004
ACM
15 years 10 months ago
2004
ACM
This paper presents the “Safe-Instantiation Principle,” a new design principle for evaluating extensions of Java with support for generic types. We discuss the GJ and NextGen ...
128
Voted
CD
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Plugins are optional components which can be used to enable the dynamic construction of flexible and complex systems, passing as much of the configuration management ef...
141
click to vote
ECOOP
1999
Springer
15 years 9 months ago
1999
Springer
We develop an imperative calculus that provides a formal model for both single and mixin inheritance. By introducing classes and mixins as the basic object-oriented constructs in a...
129
click to vote
ICFP
1996
ACM
15 years 9 months ago
1996
ACM
An extension of the simply-typed lambda calculus is presented which contains both well-structured inductive and coinductive types, and which also identifies a class of types for w...