126 search results - page 2 / 26 » Hierarchy in Generic Programming Libraries |
OOPSLA
2004
Springer
13 years 9 months ago
2004
Springer
GPCE
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. The past decade of experience has demonstrated that the generic programming methodology is highly effective for the design, implementation, and use of large-scale softwar...
SFP
2004
13 years 5 months ago
2004
Abstract: Generic programming can bring important benefits to software engineering. In particular, it reduces the burden of verification, since generic proofs can be instantiated a...
OOPSLA
2004
Springer
13 years 9 months ago
2004
Springer
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
ICSM
2008
IEEE
13 years 11 months ago
2008
IEEE
An automated approach to the identification of C++0x concepts in function templates is described. Concepts are part of a new language feature appearing in the next standard for C+...