1. Douglas Gregor, Jaakko Järvi, Mayuresh Kulkarni, Andrew Lumsdaine, David Musser, and Sibylle Schupp. Generic Programming and High-Performance Libraries. International Journal of Parallel Programming, 33(2--3):145-164, June 2005. Keyword(s): Generic Programming. Annotation:

   Generic programming is an especially attractive paradigm for developing libraries for high-performance computing because it simultaneously emphasizes generality and efficiency. In the generic programming approach, interfaces are based on sets of specified requirements on types, rather than on any particular types, allowing algorithms to inter-operate with any data types meeting the necessary requirements. These sets of requirements, known as concepts, can specify syntactic as well as semantic requirements. Besides providing a powerful means of describing interfaces to maximize software reuse, concepts provide a uniform mechanism for more closely coupling libraries with compilers and for effecting domain-specific library-based compiler extensions. To realize this goal however, programming languages and their associated tools must support concepts as first-class constructs. In this paper we advocate better syntactic and semantic support to make concepts first-class and present results demonstrating the kinds of improvements that are possible with static checking, compiler optimization, and algorithm correctness proofs for generic libraries based on concepts.

   
   

   @article{GregorEtAl:IJPP:05,
   author = {Douglas Gregor and Jaakko J\"arvi and Mayuresh Kulkarni and Andrew Lumsdaine and David Musser and Sibylle Schupp},
   title = {Generic Programming and High-Performance Libraries},
   journal = {International Journal of Parallel Programming},
   year = 2005,
   volume = 33,
   number = {2--3},
   month = jun,
   pages = {145--164},
   keyword = GP,
   pdf = "http://parasol.cs.tamu.edu/~jarvi/papers/GregorEtAl:IJPP:05.pdf",
   annote = {Generic programming is an especially attractive paradigm for developing libraries for high-performance computing because it simultaneously emphasizes generality and efficiency. In the generic programming approach, interfaces are based on sets of specified requirements on types, rather than on any particular types, allowing algorithms to inter-operate with any data types meeting the necessary requirements. These sets of requirements, known as concepts, can specify syntactic as well as semantic requirements. Besides providing a powerful means of describing interfaces to maximize software reuse, concepts provide a uniform mechanism for more closely coupling libraries with compilers and for effecting domain-specific library-based compiler extensions. To realize this goal however, programming languages and their associated tools must support concepts as first-class constructs. In this paper we advocate better syntactic and semantic support to make concepts first-class and present results demonstrating the kinds of improvements that are possible with static checking, compiler optimization, and algorithm correctness proofs for generic libraries based on concepts.},
   
   }
   

1. Gabriel Dos Reis and Jaakko Järvi. What is Generic Programming?. In Andrew Lumsdaine, Sibylle Schupp, David Musser, and Jeremy Siek, editors, Proceedings of the First International Workshop of Library-Centric Software Design (LCSD '05). An OOPSLA '05 workshop, October 2005. Note: As technical report 06-12 of Rensselaer Polytechnic Institute, Computer Science Department. Keyword(s): Generic Programming.
   

   @inproceedings{dos_reis:05:what_is_gp,
   author = {Gabriel {Dos~Reis} and Jaakko J\"arvi},
   title = "What is Generic Programming?",
   booktitle = "Proceedings of the First International Workshop of Library-Centric Software Design (LCSD~'05). An OOPSLA '05 workshop",
   year = 2005,
   month = oct,
   editors = {Andrew Lumsdaine and Sibylle Schupp and David Musser and Jeremy Siek},
   notes = {As technical report 06-12 of Rensselaer Polytechnic Institute, Computer Science Department},
   keyword = GP,
   
   
   
   }
   




2. Jaakko Järvi, Jeremiah Willcock, and Andrew Lumsdaine. Associated types and constraint propagation for mainstream object-oriented generics. In OOPSLA '05: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming systems languages and applications, New York, NY, USA, pages 1-19, 2005. ACM Press. Note: (Copyright ACM, 2005. This is the authors' version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution.). Keyword(s): Generic Programming, OOP, Type Systems.
   

   @inproceedings{jarvi:05:oopsla,
   author = {Jaakko J\"arvi and Jeremiah Willcock and Andrew Lumsdaine},
   title = {Associated types and constraint propagation for mainstream object-oriented generics},
   booktitle = {OOPSLA '05: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming systems languages and applications},
   year = {2005},
   isbn = {1-59593-031-0},
   pages = {1--19},
   location = {San Diego, CA, USA},
   doi = {10.1145/1094811.1094813},
   publisher = {ACM Press},
   address = {New York, NY, USA},
   pdf = "http://parasol.cs.tamu.edu/~jarvi/papers/oopsla05.pdf",
   keyword = GP,
   keyword = OOP,
   keyword = TYPES,
   note = "(Copyright ACM, 2005. This is the authors' version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution.)",
   
   }
   

1. Jaakko Järvi, Bjarne Stroustrup, and Gabriel Dos Reis. Deducing the type of variable from its initializer expression (revision 2). Technical report N1794=04-0054, ISO/IEC JTC 1, Information technology, Subcommittee SC 22, Programming Language C++, April 2005. Keyword(s): C++ Standardization.
   

   @techreport{jarvi:05:auto_rev_2,
   author = {Jaakko J\"arvi and Bjarne Stroustrup and Gabriel Dos~Reis},
   title = "Deducing the type of variable from its initializer expression (revision 2)",
   institution = "ISO/IEC JTC 1, Information technology, Subcommittee SC 22, Programming Language {C++}",
   number = "N1794=04-0054",
   year = 2005,
   month = apr,
   pdf = "http://parasol.cs.tamu.edu/~jarvi/papers/n1794.pdf",
   keyword = ISOCPP,
   
   }
   




2. Jaakko Järvi, Bjarne Stroustrup, and Gabriel Dos Reis. Deducing the type of variable from its initializer expression (revision 3). Technical report N1894=04-0154, ISO/IEC JTC 1, Information technology, Subcommittee SC 22, Programming Language C++, October 2005. Keyword(s): C++ Standardization.
   

   @techreport{jarvi:05:auto_rev_3,
   author = {Jaakko J\"arvi and Bjarne Stroustrup and Gabriel Dos~Reis},
   title = "Deducing the type of variable from its initializer expression (revision 3)",
   institution = "ISO/IEC JTC 1, Information technology, Subcommittee SC 22, Programming Language {C++}",
   number = "N1894=04-0154",
   year = 2005,
   month = oct,
   pdf = "http://parasol.cs.tamu.edu/~jarvi/papers/n1894.pdf",
   keyword = ISOCPP,
   
   }
   




3. Jeremy Siek, Douglas Gregor, Ronald Garcia, Jeremiah Willcock, Jaakko Järvi, and Andrew Lumsdaine. Concepts for C++0x. Technical report N1758=05-0018, ISO/IEC JTC 1, Information technology, Subcommittee SC 22, Programming Language C++, January 2005. Keyword(s): C++ Standardization.
   

   @techreport{siek:05:concepts,
   author = {Jeremy Siek and Douglas Gregor and Ronald Garcia and Jeremiah Willcock and Jaakko J\"arvi and Andrew Lumsdaine},
   title = {{Concepts for C++0x}},
   institution = "ISO/IEC JTC 1, Information technology, Subcommittee SC 22, Programming Language {C++}",
   number = "N1758=05-0018",
   month = jan,
   year = 2005,
   pdf = "http://parasol.cs.tamu.edu/~jarvi/papers/n1758.pdf",
   keyword = ISOCPP,
   
   }
   




4. Jeremy Siek, Douglas Gregor, Ronald Garcia, Jeremiah Willcock, Jaakko Järvi, and Andrew Lumsdaine. Concepts for C++0x (Revision 1). Technical report N1849=05-0109, ISO/IEC JTC 1, Information technology, Subcommittee SC 22, Programming Language C++, August 2005. Keyword(s): C++ Standardization.
   

   @techreport{siek:05:concepts_rev_1,
   author = {Jeremy Siek and Douglas Gregor and Ronald Garcia and Jeremiah Willcock and Jaakko J\"arvi and Andrew Lumsdaine},
   title = {{Concepts for C++0x (Revision 1)}},
   institution = "ISO/IEC JTC 1, Information technology, Subcommittee SC 22, Programming Language {C++}",
   number = "N1849=05-0109",
   month = aug,
   year = 2005,
   pdf = "http://parasol.cs.tamu.edu/~jarvi/papers/n1849.pdf",
   keyword = ISOCPP,
   
   }
   

1. Jaakko Järvi. Associated types and constraint propagation in OO generics. Dagstuhl seminar Types for Tools: Applications of Type Theoretic Techniques, June 2005. Note: Rlhttp://www.dagstuhl.de/05251/. Keyword(s): Lectures and Talks.
   

   @misc{jarvi:05:types_dagstuhl_talk,
   author = "Jaakko J{\"a}rvi",
   title = {Associated types and constraint propagation in {OO} generics},
   howpublished = {Dagstuhl seminar {Types for Tools: Applications of Type Theoretic Techniques}},
   month = jun,
   year = 2005,
   note = {\url{http://www.dagstuhl.de/05251/}},
   keyword = TALK,
   
   }
   




2. Jaakko Järvi. Associated types and constraint propagation in mainstream OO generics. Dagstuhl seminar Software Libraries: Design and Evaluation, March 2005. Keyword(s): Lectures and Talks.
   

   @misc{jarvi:05:library_dagstuhl_talk,
   author = "Jaakko J{\"a}rvi",
   title = {Associated types and constraint propagation in mainstream OO generics},
   howpublished = {Dagstuhl seminar {Software Libraries: Design and Evaluation}},
   month = mar,
   year = 2005,
   keyword = TALK,
   
   }
   

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.

This document was translated from BibT_EX by bibtex2html