ConceptClang: an implementation of C++ concepts in Clang

Authors:
Larisse Voufo;Marcin Zalewski;Andrew Lumsdaine
Affiliations:
Open Systems Lab, Indiana University, Bloomington, IN, USA;Open Systems Lab, Indiana University, Bloomington, IN, USA;Open Systems Lab, Indiana University, Bloomington, IN, USA
Venue:
Proceedings of the seventh ACM SIGPLAN workshop on Generic programming
Year:
2011

Citing 12
Cited 1

The design and evolution of C++

The design and evolution of C++
Generic programming and the STL: using and extending the C++ Standard Template Library

Generic programming and the STL: using and extending the C++ Standard Template Library
STL tutorial and reference guide, second edition: C++ programming with the standard template library

STL tutorial and reference guide, second edition: C++ programming with the standard template library
The boost graph library: user guide and reference manual

The boost graph library: user guide and reference manual
The Matrix Template Library: Generic Components for High-Performance Scientific Computing

Computing in Science and Engineering
Concept-controlled polymorphism

Proceedings of the 2nd international conference on Generative programming and component engineering
Specifying C++ concepts

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Concepts: linguistic support for generic programming in C++

Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
An extended comparative study of language support for generic programming

Journal of Functional Programming
Evolving a language in and for the real world: C++ 1991-2006

Proceedings of the third ACM SIGPLAN conference on History of programming languages
Concepts as Syntactic Sugar

SCAM '09 Proceedings of the 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation
Generic programming with c++ concepts and haskell type classes: A comparison

Journal of Functional Programming

Template metaprogramming techniques for concept-based specialization

Scientific Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Concepts are a proposed C++ extension for constraints-based poly-morphism. In this paper, we present our experience implementing an infrastructure for exploring concept designs based on Clang--an LLVM frontend for the C family of languages. We discuss how the primary proposed features of concepts (such as concept-based lookup, overloading and constrained templates) are implemented in Clang, and how our implementation can be extended to support the different approaches suggested within the C++ community. Some illustrations are presented and include a subset of the Boost Graph Library.