Generic libraries in c++ with concepts from high-level domain descriptions in haskell a domain-specific library for computational vulnerability assessment

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5658 LNCS, Issue , 2009, Pages 236-261

  Lincke, Daniel ^a   Jansson, Patrik ^b   Zalewski, Marcin ^b   Ionescu, Cezar ^a  

^a POTSDAM INSTITUTE FOR CLIMATE IMPACT RESEARCH   (Germany)

^b CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

C++ LIBRARIES; CLIMATE IMPACTS; COMBINATORS; CONCEPTUAL FRAMEWORKS; DOMAIN SPECIFIC; DOMAIN SPECIFIC LANGUAGES; FORMALISATION; GENERAL PURPOSE LANGUAGES; GENERIC LIBRARIES; GENERIC PROGRAMMING; HASKELL; HIGH-LEVEL DOMAIN; IMPLEMENTATION TECHNIQUES; LANGUAGE DESIGN; POTSDAM; PROBLEM DOMAIN; PROTOTYPING; TYPE SYSTEMS; VULNERABILITY ASSESSMENTS; CLIMATE IMPACT RESEARCHES;

CLIMATE CHANGE; COMPUTER PROGRAMMING; DSL; GRAPHICAL USER INTERFACES; JAVA PROGRAMMING LANGUAGE; LINGUISTICS; MODEMS; SOFTWARE DESIGN; TELECOMMUNICATION LINES; XML; COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; PROBLEM ORIENTED LANGUAGES;

QUERY LANGUAGES; C++ (PROGRAMMING LANGUAGE);

EID: 69049097161     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-03034-5_12     Document Type: Conference Paper

References (32)

1. C++ Standard, ISO/IEC 14882:2003(E). ANSI-ISO-IEC, ANSI standards for information technology edition (2003)
2. Austern, M.H.: Generic Programming and the STL: Using and Extending the C++ Standard Template Library. Addison-Wesley, Reading (1998)
3. Bernardy, J.-P., Jansson, P., Zalewski, M., Schupp, S., Priesnitz, A.: A comparison of C++ concepts and Haskell type classes. In: Proc. ACMSIGPLAN Workshop on Generic Programming, pp. 37-48. ACM, New York (2008)
4. Brooks, N.: Vulnerability, risk and adaptation: A conceptual framework. Tyndall Center Working Paper 38 (2003)
5. Chakravarty, M.M.T., Keller, G., Jones, S.P.: Associated type synonyms. In: ICFP 2005: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming, pp. 241-253. ACM, New York (2005)
6. Claessen, K., Hughes, J.: QuickCheck: A lightweight tool for random testing of Haskell programs. In: ICFP 2000: International Conference on Functional Programming, pp. 268-279.ACM, New York (2000)
7. Garcia, R., Jarvi, J., Lumsdaine, A., Siek, J., Willcock, J.: An extended comparative study of language support for generic programming. J. Funct. Program 17(2), 145-205 (2007)
8. Gregor, D., Järvi, J., Siek, J., Stroustrup, B., Dos Reis, G., Lumsdaine, A.: Concepts: Linguistic support for generic programming in C++. In: Proc. ACM SIGPLAN Conf. on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pp. 291-310. ACM Press, New York (2006)
9. Gregor, D., Marcus, M., Witt, T., Lumsdaine, A.: Foundational concepts for the C++0x standard library (revision 4). Technical Report N2737=08-0247, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++ (August 2008a)
10. Gregor, D., Siek, J., Lumsdaine, A.: Iterator concepts for the C++0x standard library (revision 4). Technical Report N2739=08-0249, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++ (August 2008b)
11. Gregor, D., Stroustrup, B., Widman, J., Siek, J.: Proposed wording for concepts (revision 8). Technical Report N2741=08-0251, ISO/IEC JTC1/SC22/WG21 - C++ (August 2008c)
12. de Guzman, J., Marsden, D.: Fusion library homepage (March 2009), http://www.boost.org/libs/fusion
13. Halpern, P.: Defects and proposed resolutions for allocator concepts. Technical Report N2810=08-0320, ISO/IEC JTC1/SC22/WG21 - C++ (December 2008)
14. Hudak, P.: Building domain-specific embedded languages. ACM Comput. Surv., 196 (1996)
15. Ionescu, C.: Vulnerability Modelling and Monadic Dynamical Systems. PhD thesis, Freie Universität Berlin (2009)
16. Janssen, M.A., Ostrom, E.: Resilience, vulnerability and adaptation: A cross-cutting theme of the international human dimensions programme on global environmental change. Global Environmental Change 16(3), 237-239 (2006) (Editorial)
17. Jansson, P., Jeuring, J.: Polytypic data conversion programs. Science of Computer Programming 43(1), 35-75 (2002)
18. Järvi, J., Powell, G., Lumsdaine, A.: The lambda library: Unnamed functions in C++. Software: Practice and Experience 33(3), 259-291 (2003)
19. Kamin, S.N., Hyatt, D.: A special-purpose language for picture-drawing. In: Proc. Conference on Domain-Specific Languages (DSL), pp. 297-310. USENIX Association (1997)
20. McNamara, B., Smaragdakis, Y.: Functional programming with the FC++ library. J. of Functional Programming 14(4), 429-472 (2004)
21. Oliveira, B.C.d.S., Hinze, R., Löh, A.: Extensible and modular generics for the masses. In: Nilsson, H. (ed.) Trends in Functional Programming, pp. 199-216 (2006)
22. Peterson, J., Hudak, P., Elliott, C.: Lambda in motion: Controlling robots with haskell. In: Gupta, G. (ed.) PADL 1999. LNCS, vol. 1551, pp. 91-105. Springer, Heidelberg (1999)
23. Petoukhov, V., Ganopolski, A., Brovkin, V., Claussen, M., Eliseev, A., Kubatzki, C., Rahmstorf, S.: CLIMBER-2: a climate system model of intermediate complexity. Part I: model description and performance for present climate. Climate dynamics 16, 1-17 (2000)
24. Peyton Jones, S. (ed.): Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press, Cambridge (2003)
25. Schrijvers, T., Peyton Jones, S., Chakravarty, M., Sulzmann, M.: Type checking with open type functions. In: ICFP 2008: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, pp. 51-62. ACM, New York (2008)
26. Siek, J.G., Lee, L.Q., Lumsdaine, A.: The Boost Graph Library: User Guide and Reference Manual. Addison-Wesley, Reading (2002)
27. Stepanov, A.A., Lee, M.: The Standard Template Library. Technical Report HPL-94-34, Hewlett- Packard Laboratories, Revised in, as tech. rep. HPL-95-11 (May 1994)
28. Stroustrup, B.: The C++ Programming Language, 3rd edn. Addison-Wesley, Reading (1997)
29. Vandervoorde, D., Josuttis, N.M.: C++ Templates: The Complete Guide. Addison-Wesley, Amsterdam (2002)
30. Wadler, P., Blott, S.: How to make ad-hoc polymorphism less ad hoc. In: Proc. 16th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages (POPL), pp. 60-76. ACM Press, New York (1989)
31. Wolf, S., Lincke, D., Hinkel, J., Ionescu, C., Bisaro, S.: A formal framework of vulnerability. Final deliverable to the ADAMproject. FAVAIA working paper 8, Potsdam Institute for Climate Impact Research, Potsdam, Germany (2008),http://www.pik-potsdam.de/favaia/pubs/favaiaworkingpaper8.pdf
32. Zalewski, M., Priesnitz, A.P., Ionescu, C., Botta, N., Schupp, S.: Multi-language library development: FromHaskell type classes to C++ concepts. In: Striegnitz, J. (ed.) Proc. 6th Int.Workshop on Multiparadigm Programming With Object-Oriented Languages (MPOOL) (July 2007)