Library composition and adaptation using c++ concepts

GPCE'07 - Proceedings of the Sixth International Conference on Generative Programming and Component Engineering

Volumn , Issue , 2007, Pages 73-82

  Järvi, Jaakko ^a   Marcus, Matthew A ^b   Smith, Jacob N ^a  

^a TEXAS A AND M UNIVERSITY   (United States)

^b ADOBE RESEARCH   (United States)

Author keywords

C++; Generic programming; Polymorphism; Software libraries

Indexed keywords

COMPUTER SOFTWARE; DIGITAL LIBRARIES; GRAPH THEORY; IMAGE PROCESSING; PROJECT MANAGEMENT;

GENERIC PROGRAMMING; GRAPH ALGORITHMS; LIBRARY COMPOSITION; SOFTWARE LIBRARIES;

OBJECT ORIENTED PROGRAMMING;

EID: 38849121252     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1289971.1289984     Document Type: Conference Paper

References (49)

1. (GCC) 4.3.0 20070330 (experimental) (Indiana University Concept-GCC alpha 7 prerelease).
2. Boost Smart Pointers Library, www.boost.org/libs/smart_ptr.
3. Adobe Systems, Inc. Adobe Source Library, 2005. opensource. adobe.com.
4. P. An, A. Jula, S. Rus, S. Saunders, T. Smith, G. Tanase, N. Thomas, N. Amato, and L. Rauchwerger. STAPL: An adaptive, generic parallel C++ library. In Languages and Compilers for Parallel Computing, volume 2624 of Lecture Notes in Computer Science, pages 193-208. Springer, Aug. 2001.
5. M. H. Austern. Generic programming and the STL: Using and extending the C++ Standard Template. Library. Professional Computing Series. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1998.
6. G. Baumgartner, M. Jansche, and K. Läufer. Half & Half: Multiple Dispatch and Retroactive Abstraction for Java. Technical Report OSU-CISRC-5/01-TR08, Ohio State University, 2002.
7. E. P. Becker. Working draft, standard for programming language C++. Technical Report N2009-06-0079, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, Apr. 2006.
8. Boost. BoostC++ Libraries, http://www.boost.org/.
9. L. Bourdev and H. Jin. Generic Image Library, 2006. opensource. adobe.com/gil.
10. A. Breuer, P. Gottschling, D. Gregor, and A. Lumsdaine. Effecting parallel graph eigensolvers through library composition. In Performance Optimization for High-Level Languages and Libraries (POHLL), Apr. 2006.
11. M. M. T. Chakravarty, G. Keller, and S. Peyton Jones. Associated type synonyms. In ICFP '05: Proceedings of the International, Conference on Functional Programming, pages 241-253, New York, NY, USA, Sept. 2005. ACM Press.
12. M. M. T. Chakravarty, G. Keller, S. Peyton Jones, and S. Marlow. Associated types with class. In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 1-13, New York, NY, USA, 2005. ACM Press.
13. A. Fabri, G.-J. Giezeman, L. Kettner, S. Schirra, and S. Schönherr. On the design of CGAL, a computational geometry algorithms library. Software - Practice and Experience, 30(11):1167-1202, 2000. Special Issue on Discrete Algorithm Engineering.
14. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Publishing Co., New York, NY, USA, 1995.
15. R. Garcia, J. Järvi, A. Lumsdaine, J. Siek, and J. Willcock. An extended comparative study of language support for generic programming. Journal of Functional Programming, 17:145-205, Mar. 2007.
16. D.Gregor. ConceptGCC: Concept extensions for C++. http://www.generic- programming.org/software/ConceptGCC, 2005.
17. D. Gregor, J. Järvi, J. Siek, B. Stroustrup, G. D. Reis, and A. Lumsdaine. Concepts: Linguistic support for generic programming in C++. In Proceedings of the 2006 ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (OOPSLA '06), pages 291-310. ACM Press, Oct. 2006.
18. D. Gregor and A. Lumsdaine. Lifting sequential graph algorithms for distributed-memory parallel computation. In Proceedings of the 2005 ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (OOPSLA '05), pages 423-437, Oct. 2005.
19. D. Gregor and B. Stroustrup. Proposed wording for concepts. Technical Report N2193-07-0053, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++, Mar. 2007.
20. IBM Research. Subject-oriented programming and the adapter pattern. www.research.ibm.com/sop/sopcadap.htm.
21. International Organization for Standardization. ISO/IEC 14882:2003: Programming languages: C++. Geneva, Switzerland, 2nd edition, Oct. 2003.
22. J. Järvi, J. Willcock, and A. Lumsdaine. Concept-controlled polymorphism. In F. Pfennig and Y. Smaragdakis, editors, Generative Programming and Component Engineering, volume 2830 of LNCS, pages 228-244. Springer Verlag, Sept. 2003.
23. M. Jazayeri, R. Loos, D. Musser, and A. Stepanov. Generic Programming. In Report of the Dagstuhl Seminar on Generic Programming, Schloss Dagstuhl, Germany, Apr. 1998.
24. M. P. Jones. Type classes with, functional dependencies. In ESOP '00: Proceedings of the 9th European Symposium on Programming Languages and Systems, volume 1782 of Lecture Notes in Computer Science, pages 230-244, New York, NY, 2000. Springer-Verlag.
25. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold. An overview of AspectJ. In J. L. Knudsen, editor, ECOOP 2001 -Object-Oriented Programming 15th Eumpean Conference, volume 2072 of Lecture Notes in Computer Science, pages 327-353. Springer-Verlag, New York, NY, June 2001.
26. R. Lämmel and K. Ostermann. Software extension and integration with, type classes. In GPCE '06: Proceedings of the 5th international conference on Generative programming and component engineering, pages 161-170, New York, NY, USA, 2006. ACM Press.
27. K. Läufer, G. Baumgartner, and V. F. Russo. Safe structural conformance for Java. The Computer Journal, 43(6):469-481, 2000.
28. V. Litvinov. Constraint-based polymorphism in Cecil: towards a practical and static type system. In OOPSLA '98: Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pages 388-411, New York, NY, USA, 1998. ACM Press.
29. B. Magnusson. Code reuse considered harmful. Journal of Object-Oriented Programming, 4(3), Nov. 1991.
30. M. Marcus, J. Järvi, and S. Parent. Runtime polymorphic generic programming-mixing objects and concepts in ConceptC++. In K. Davis and J. Striegnitz, editors, Multiparadigm Programming 2007: Proceedings of the MPOOL Workshop at ECOOP '07, July 2007. To appear.
31. M. Mattsson, J. Bosch, and M. E. Fayad. Framework, integration problems, causes, solutions. Commun. ACM, 42(10):80-87, 1999.
32. B. McNamara and Y. Smaragdakis. Static interfaces in C++. In First Workshop on C++ Template Programming, Erfurt, Germany, Oct. 2000.
33. K. Mehlhorn and S. Näher. The LEDA Platform of Combinatorial and Geometric Computing. Cambridge University Press, 1999.
34. N. Mitchell, G. Sevitsky, and H. Srinivasan. The diary of a datum.: An approach to modeling runtime complexity in framework-based applications. In Proceedings of the First International Workshop of Library-Centric Software Design (LCSD '05). An OOPSLA '05 workshop, Oct. 2005. As technical report 06-12 of Rensselaer Polytechnic Institute, Computer Science Department.
35. N. C. Myers. Traits: a new and useful template technique. C++ Report, June 1995.
36. M. Odersky. Poor man's type classes. Presentation at the meeting of IFIP WG 2.8, Functional Programming, July 2006. http://lamp.epfl.ch/~odersky/talks/ wg2.8-boston06.pdf.
37. M. Odersky. The Scala language specification: Version 2.0, draft march 17, 2006. http://scala.epfl.ch/docu/files/ ScalaReference.pdf, 2006.
38. S. Parent. Beyond objects: Understanding the software we write. Presentation at C++ Connections, opensource.adobe.com/wiki/ index.php/Image: Regular_object_presentation.pdf, Nov. 2005.
39. S. Parent. A possible future for software development. Keynote talk at the Workshop of Library-Centric Software Design 2006, at OOPSLA'06, Portland, Oregon, 2006. lcsd.cs.tamu.edu/2006.
40. W. R. Pitt, M. A. Williams, M. Steven, B. Sweeney, A. J. Bleasby, and D. S. Moss. The Bioinformatics Template Library-generic components forbiocomputing. Bioinformatics, 17(8):729-737, 2001.
41. J. Siek, L.-Q. Lee, and A. Lumsdaine. The Boost Graph Library: User Guide and Reference Manual. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2002.
42. J. Siek and A. Lumsdaine. The Matrix Template Library: Generic components for high-performance scientific computing. Computing in Science and Engineering, 1(6):70-78, Nov/Dec 1999.
43. J. Siek and A. Lumsdaine. Concept checking: Binding parametric polymorphism in C++. In First Workshop on C++ Template Programming, Oct. 2000.
44. J. Siek, A. Lumsdaine, and L.-Q. Lee. Boost Graph Library. Boost, 2001. www.boost.org/libs/graph.
45. Silicon Graphics, Inc. SGI Implementation of the Standard Template Library, 2004. http://www.sgi.com/tech/stl/.
46. A. Stepanov and M. Lee. The Standard Template Library. Technical Report HPL-94-34(R.1), Hewlett-Packard Laboratories, Apr. 1994. http://www.hpl.hp.com/ techreports.
47. C. Szyperski. Component software: beyond object-oriented programming. ACM Press/Addison-Wesley Publishing Co., New York, NY, USA, 1998.
48. M. Troyer and P. Dayal. The Iterative Eigensolver Template Library. http://www.comp-phys.org:16080/software/ietl/.
49. P. Wadler and S. Blott. How to make ad-hoc polymorphism less adhoc. In ACM Symposium on Principles of Programming Languages, pages 60-76. ACM, Jan. 1989.