Jeremy Siek, Andrew Lumsdaine  Home/Search
Context Related
| colorado.edu/~siek/...siek00concept.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 in C++ is characterized by the use of template parameters to represent abstract data types (or "concepts"). However, the C++ language itself does not provide a mechanism for explicitly handling concepts. As a result, it can be difficult to insure that a concrete type meets the requirements of the concept it is supposed to represent. (Update)
Cited by: More
A Comparative Study of Language Support for Generic.. - Garcia, Järvi.. (2003) (Correct)
Algorithm Specialization in Generic Programming -.. - Järvi, Gregor.. (2006) (Correct)
Concepts for C++0x - Jeremy Siek Douglas (Correct)
Active bibliography (related documents): More All
0.6: Concept Checking: Binding Parametric Polymorphism in C++ - Siek, Lumsdaine (2000) (Correct)
0.2: Concepts: Linguistic Support for Generic Programming in C++ - Douglas Gregor Dgregor (Correct)
0.1: Caramel: A Concept Representation System for Generic.. - Willcock, Siek, Lumsdaine (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
Related documents from co-citation: More All
8: Static interfaces in C (context) - McNamara, Smaragdakis - 2000
7: The Design and Evolution of C (context) - Stroustrup
6: Traits: a New and Useful Template Technique (context) - Myers - 1995
BibTeX entry: (Update)
J. Siek and A. Lumsdaine. Concept checking: Binding parametric polymorphism in C++. In First Workshop on C++ Template Programming, Erfurt, Germany, October 10 2000. http://citeseer.ist.psu.edu/siek00concept.html More
@inproceedings{ siek00concept,
author = "Jeremy Siek and Andrew Lumsdaine",
title = "Concept checking: Binding parametric polymorphism in {C}++",
booktitle = "Proceedings First Workshop on C++ Template Programming",
address = "Erfurt, Germany",
year = "2000",
url = "citeseer.ist.psu.edu/siek00concept.html" }
Citations (may not include all citations):88 Theory and Practice of Object Systems (context) - Bruce, Cardelli et al. - 1995
79 STL tutorial and Reference Guide (context) - Musser, Saini - 1996
61 where clauses: Constraining parametric polymorphism (context) - Day, Gruber et al. - 1995
50 Design and Evolution of C (context) - Stroustrup - 1994
26 Signatures: A language extension for improving type abstract.. - Baumgartner, Russo - 1995
9 Professional computing series (context) - Austern, the - 1999
7 ISO Programming Language C++ Project (context) - Stepanov, Lee et al. - 1994
2 Making the future safe for the past: Addng genericity to the.. (context) - Bracha, Odersky et al. - 1998
The graph only includes citing articles where the year of publication is known.
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)
tal paradigm underlying the STL, was - An Important And (Correct)
Gradual Typing for Functional Languages - University (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