909 search results - page 92 / 182 » Generic Programming: An Introduction |
177
click to vote
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across...
130
click to vote
CP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present a new generic problem solving approach for overconstrained problems based on Max-SAT. We first define a clausal form formalism that deals with blocks of clau...
104
click to vote
ICALP
2004
Springer
15 years 8 months ago
2004
Springer
This paper is an attempt to develop a unifying algebraic framework for extensional theories capturing formally the informal concept of extensionality, as well as a generic automate...
113
click to vote
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We describe a new technique for computing procedure summaries for performing an interprocedural analysis on programs. Procedure summaries are computed by performing a bac...
141
click to vote
IFL
2005
Springer
15 years 8 months ago
2005
Springer
Polytypic functional programming has the advantage that it can derive code for generic functions automatically. However, it is not clear whether it is useful for anything other tha...