Specifying C ++ concepts

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 2006, Pages 295-308

  Reis, Gabriel Dos ^a   Stroustrup, Bjarne ^a  

^a TEXAS A AND M UNIVERSITY   (United States)

Author keywords

C++ Concepts; C++ Templates; Generic Programming; Separate Compilation; Type Systems

Indexed keywords

C++ CONCEPTS; C++ TEMPLATES; GENERIC PROGRAMMING; SEPARATE COMPILATION; TYPE SYSTEMS;

CONSTRAINT THEORY; DIGITAL LIBRARIES; ELECTRONIC DOCUMENT IDENTIFICATION SYSTEMS; EMBEDDED SYSTEMS; PROGRAM COMPILERS; SPECIFICATIONS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 33745210239     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (34)

1. [Aug93] Lennart Augustsson. Implementing Haskell Overloading. In Functional Programming Languages and Computer Architecture, pages 65-73, 1993.
2. [Aus98] Matthew H. Austern. Generic Programming and the STL. Addison-Wesley, October 1998.
3. [CKPJ05] Manuel M. T. Chakravarty, Gabriele Keller, and Simon Peyton Jones. Associated Type Synonyms. In ACM SIGPLAN International Conference on Functional Programming, Tallinn, Estonia, 2005. ACM Press.
4. [CKPJM05] Manuel M. T. Chakravarty, Gabriele Keller, Simon Peyton Jones, and Simon Marlow. Associated Types with Class. ACM SIGPLAN Notices, 40(1):1-13, January 2005.
5. [DR02] Gabriel Dos Reis. Generic Programming in C++: The next level. The Association of C and C++ Users Spring Conference, April 2002.
6. [DRS05a] Gabriel Dos Reis and Bjarne Stroustrup. A Formalism for C++. Technical Report N1885=05-0145, ISO/IEC SC22/JTC1/WG21, October 2005.
7. [DRSOSb] Gabriel Dos Reis and Bjarne Strousrrup. Specifying C++ Concepts. Technical Report N 1886=05-0146, ISO/IEC SC22/JTC1/WG21, October 2005.
8. [Gir72] Jean-Yves Girard. Interprétation fonctionnelle et élimination des coupures de l'arithmétique d'ordre supérieur. Thèse d'État, Université Paris VII, 1972.
9. [GJL+03] Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy Siek, and Jeremiah Willcock. A Comparative Study of Language Support for Generic Programming. In Proceedings of the 18th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications, pages 115-134. ACM Press, 2003.
10. [GSW+05] Douglas Gregor, Jeremy Siek, Jeremiah Willcock, Jaakko Järvi, Ronald Garcia, and Andrew Lumsdaine. Concept for C++Ox (Revision 1). Technical Report N1849=05-00109, ISO/IEC SC22/JTC1/WG21, August 2005.
11. [HHPJW96] Cordelia V. Hall, Kevin Hammond, Simon Peyton Jones, and Philip L. Wadler. Type classes in Haskell. ACM Transactions on Programming Languages and Systems, 18(2):109-138, 1996.
12. [ISO03] International Organization for Standards. International Standard ISO/IEC 14882. Programming Languages - C++, 2nd edition, 2003.
13. [Jon94] Mark P. Jones. Qualified Types: Theory and Practice. Cambridge University Press, 1994.
14. [JS92] Richard D. Jenks and Robert S. Sutor. AXIOM: The Scientific Computation System. Springer-Verlag, 1992.
15. [Kae88] Stefan Kaes. Parametric Overloading in Polymorphic Programming Languages. In Proceedings of the 2nd European Symposium on Programming, volume 300 of Lecture Notes In Computer Science;, pages 131-144. Springer-Verlag, 1988.
16. [PJ03] Simon Peyton Jones. Haskell 98 Language and Libraries, The Revised Report. Cambridge University Press, 2003.
17. [PT98] Benjamin C. Pierce and David N. Turner. Local Type Inference. In Symposium on Principles of Programming Languages, pages 252-265, San Diego CA, USA, 1998. ACM.
18. [Rey74] John Reynolds. Towards a theory of type structure. In Proceedings of Colloque sur la Programmation, volume 19 of Lecture Notes in Computer Science, pages 408-425, New York, 1974. Springer-Verlag.
19. [SDR03a] Bjarne Stroustrup and Gabriel Dos Reis. Concepts - Design choices for template argument checking. Technical Report N1522, ISO/IEC SC22/JTC1/WG21, September 2003.
20. [SDR03b] Bjarne Stroustrup and Gabriel Dos Reis. Concepts - syntax and composition. Technical Report N1536, ISO/IEC SC22/JTC1/WG21, September 2003.
21. [SDR05a] Bjarne Stroustrup and Gabriel Dos Reis. A Concept Design (rev.1). Technical Report N1782=05-0042, ISO/IEC SC22/JTC1/WG21, April 2005.
22. [SDR05b] Bjarne Stroustrup and Gabriel Dos Reis. Supporting SELL for High-Performance Computing. In Proceedings of the 18th International Workshop on Languages and Compilers for Parallel Computing, October 2005.
23. [SGG+05] Jeremy Siek, Douglas Gregor, Ronald Garcia, Jeremiah Willcock, Jaakko Järvi, and Andrew Lumsdaine. Concept for C++0x. Technical Report N1758=05-0018, ISO/IEC SC22/JTC1/WG21, January 2005.
24. [SL94] Alexander Stepanov and Meng Lee. The Standard Template Library. Technical Report N0482=94-0095, ISO/IEC SC22/JTC1 /WG21, May 1994.
25. [Str] Bjarne Stroustrup. Technical FAQ: Why can't I define constraints for my template parameters? http ; //www. research.att.com/~bs/bs_faq2.html#constraints.
26. [Str88] Bjarne Stroustrup. Parameterized Types for C++. In Proceedings of USENIX C++ Conference, Denver, CO., October 1988.
27. [Str89] Bjarne Stroustrup. The Evolution of C++: 1985-1989. USENIX Computer Systems, 2(3), 1989.
28. [Str94] Bjarne Stroustrup. The Design and Evolution of C++. Addison-Wesley, 1994.
29. [Str00] Bjarne Stroustrup. The C++ Programming Language. Addison-Wesley, special edition, 2000.
30. [Str03] Bjarne Stroustrup. Concept checking - A more abstract complement to type checking. Technical Report N1510, ISO/IEC SC22/JTC1/WG21, September 2003.
31. [Str04] Bjarne Stroustrup. Abstraction and the C++ model. In Proceedings of ICESS'04, December 2004.
32. [Str05] Bjarne Stroustrup. The design of C++0x. C/C++ Users Journal, May 2005.
33. [TDBP00] S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, and Erhard Ploederer, editors. Consolidated Ada Reference Manual, volume 2219 of Lecture Notes in Computer Science. Springer, 2000.
34. [WB89] Philip Wadler and Stephen Blott. How to make adhoc polymorphism less ad hoc. In Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 60-76, Austin, Texas, USA, 1989.