Sciweavers

126 search results - page 2 / 26
» Hierarchy in Generic Programming Libraries
Sort
View
OOPSLA
2004
Springer
14 years 4 months ago
Converting java programs to use generic libraries
Alan Donovan, Adam Kiezun, Matthew S. Tschantz, Mi...
GPCE
2005
Springer
14 years 4 months ago
Language Requirements for Large-Scale Generic Libraries
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...
Jeremy G. Siek, Andrew Lumsdaine
SFP
2004
14 years 6 days ago
Generic proofs for combinator-based generic programs
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...
Fermín Reig
OOPSLA
2004
Springer
14 years 4 months ago
Modular generics
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...
Jeremy G. Siek
ICSM
2008
IEEE
14 years 5 months ago
Automatically identifying C++0x concepts in function templates
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+...
Andrew Sutton, Jonathan I. Maletic