Douglas Gregor Jaakko J arvi Jeremy Siek ...  Home/Search
Context
Related
| colorado.edu/~siek...or06:_concepts.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: colorado.edu/~siek...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Generic programming has emerged as an important technique for the development of highly reusable and efficient software libraries. In C++, generic programming is enabled by the flexibility of templates, the C++ type parametrization mechanism. However, the power of templates comes with a price: generic (template) libraries can be more difficult to use and develop than non-template libraries and their misuse results in notoriously confusing error messages. As currently defined in C++98, templates ... (Update)
Active bibliography (related documents): More All
4.5: Algorithm Specialization in Generic Programming -.. - Järvi, Gregor.. (2006) (Correct)
1.7: Concepts - Gregor, Stroustrup (2006) (Correct)
1.2: A Comparative Study of Language Support for Generic.. - Garcia, Järvi.. (2003) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ dgregor-concepts,
author = "Douglas Gregor Dgregor",
title = "Concepts: Linguistic Support for Generic Programming in C++",
url = "citeseer.ist.psu.edu/763884.html" }
Citations (may not include all citations):461 Programming Language (context) - Stroustrup - 2000
384 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990 ACM
380 The Java Language Specification (context) - Gosling, Joy et al. - 2005
342 Eiffel: the Language (context) - Meyer - 1992
190 How to make ad-hoc polymorphism less adhoc - Wadler, Blott - 1989
165 Generative Programming: Methods (context) - Czarnecki, Eisenecker - 2000
128 and separate compilation (context) - Leroy, modules - 1994
111 Fast decision procedures based on congruence closure (context) - Nelson, Oppen - 1980
82 Variations on the common subexpression problem (context) - Downey, Sethi et al. - 1980
79 STL Tutorial and Reference Guide (context) - Musser, Derge et al. - 2001
71 bounded polymorphism for object-oriented programming (context) - Canning, Cook et al. - 1989
67 Expression templates - Veldhuizen - 1995
50 Design and Evolution of C (context) - Stroustrup - 1994
48 Translucent Sums: A Foundation for Higher-Order Module Syste.. - Lillibridge - 1997
40 template metaprograms (context) - Veldhuizen - 1995
37 Software --- Practice and Experience (context) - Musser, Stepanov et al. - 1994
31 Traits: a new and useful template technique (context) - Myers - 1995
28 Virtual classes: a powerful mechanism in object-oriented pro.. (context) - Madsen, Moller-Pedersen - 1989 ACM DBLP
26 Signatures: A language extension for improving type abstract.. - Baumgartner, Russo - 1995
21 Arrays in Blitz (context) - Veldhuizen - 1998
20 Generic programming and the STL: Using and extending the C++.. (context) - Austern - 1998
20 Array design and expression evaluation in POOMA II (context) - Karmesin, Crotinger et al. - 1998 ACM DBLP
15 Tecton: a framework for specifying and verifying generic sys.. - Kapur, Musser - 1992
14 Concept checking: Binding parametric polymorphism in C - Siek, Lumsdaine - 2000
10 The Boost Graph Library: User Guide and Reference Manual (context) - Siek, Lee et al. - 2002
8 and Andrew Lumsdaine (context) - Siek, Gregor et al. - 2005
8 and Andrew Lumsdaine (context) - Gregor, Siek et al. - 2005
8 Musser and Alexander (context) - David - 1988
7 A library of generic algorithms in Ada (context) - Musser, Stepanov - 1987 ACM
7 The Matrix Template Library: Generic components for high-per.. (context) - Siek, Lumsdaine - 1999
7 ISO Programming Language C++ Project (context) - Stepanov, Lee et al. - 1994
6 Concepts -- design choices for template argument checking (context) - Stroustrup, Reis - 2003
5 ISOIEC Programming language C++ (context) - for, IEC et al. - 1998
5 Programming Language C (context) - Stroustrup, Reis et al. - 2005
5 Associated types with class - Chakravarty, Keller et al. - 2005
5 A comparative study of language support for generic programm.. - Garcia, arvi et al. - 2003 ACM DBLP
4 User-extensible simplification: Type-based optimizer generat.. - Schupp, Gregor et al. - 2001
4 Scalable component abstractions (context) - Odersky, Zenger - 2005
4 Essential language support for generic programming (context) - Siek, Lumsdaine - 2005
4 An overview of the Scala programming language (context) - Odersky - 2004
4 A Language for Generic Programming (context) - Siek - 2005
4 Five compilation models for C++ templates (context) - Veldhuizen - 2000
4 Associated type synonyms (context) - Chakravarty, Keller et al. - 2005
3 Part of the Gyro distribution of generics (context) - Corporation, September - 2002
3 A new and useful technique (context) - Myers - 1995
3 ConceptGCC: Concept extensions for C (context) - Gregor - 2005
3 Generic graph algorithms for sparse matrix ordering - Lee, Siek et al. - 1999 ACM DBLP
2 Programming Language C (context) - Gregor, Siek et al. - 2005
2 Half: Multiple Dispatch and Retroactive Abstraction for Java (context) - Baumgartner, Jansche et al. - 2002
2 Associated types and constraint propagation for mainstream o.. (context) - arvi, Willcock et al. - 2005
2 The Scala language specification: Version (context) - Odersky - 2006
2 Special Issue on Discrete Algorithm Engineering (context) - Fabri, Giezeman et al. - 2000
2 and Techniques from Boost and Beyond (context) - Abrahams, Gurtovoy et al. - 2004
1 Lifting sequential graph algorithms for distributed-memory p.. (context) - Gregor, Lumsdaine - 2005
1 Technical Report N (context) - Gregor, Stroustrup
1 The rise and fall of CORBA (context) - Henning - 2006
1 orgsoftware gcc (context) - collection, gnu et al. - 2005
1 Decltype and auto (context) - arvi, Stroustrup et al. - 2004
1 An extended comparative study of language support for generi.. (context) - Garcia, arvi et al. - 2005
1 Algorithm specialization in generic programming: Challenges .. (context) - arvi, Gregor et al. - 2006
1 Function overloading based on arbitrary properties of types (context) - arvi, Willcock et al. - 2003
1 STAPL: A standard template adaptive parallel C++ library (context) - An, Jula et al. - 2001
1 Language requirements for large-scale generic libraries (context) - Siek, Lumsdaine - 2005
1 Safe structural conformance for Java (context) - aufer, Baumgartner et al. - 2000 DBLP
1 and Alexander Stepanov (context) - Jazayeri, Loos et al. - 1998
1 Effecting parallel graph eigensolvers through library compos.. (context) - Breuer, Gottschling et al. - 2006
1 Contraint-based polymorphism in Cecil: towards a practical a.. (context) - Litvinov - 1998 DBLP
http://www.boost.org/
http://www.comp-phys.org:16080/software/ietl/
Documents on the same site (http://www.cs.colorado.edu/~siek/publications.html): More
Mayfly A Pattern for Lightweight Generic Interfaces - Siek, Lumsdaine (1999) (Correct)
Concept Checking: Binding Parametric Polymorphism in C++ - Siek, Lumsdaine (2000) (Correct)
tal paradigm underlying the STL, was - An Important And (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC