Search: id:"swepub:oai:research.chalmers.se:fe9c8de6-c7ce-4b70-a308-580ac5140873" >
Generic libraries i...
Generic libraries in C++ with concepts from high-level domain descriptions in Haskell: A domain-specific library for computational vulnerability assessment
-
- Lincke, Daniel (author)
- Potsdam-Institut für Klimafolgenforschung (PIK),Potsdam Institute for Climate Impact Research
-
- Jansson, Patrik, 1972 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Zalewski, Marcin, 1978 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
-
show more...
-
- Ionescu, Cezar (author)
- Potsdam-Institut für Klimafolgenforschung (PIK),Potsdam Institute for Climate Impact Research
-
show less...
-
(creator_code:org_t)
- ISBN 9783642030338
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
- 2009
- English.
-
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - Berlin, Heidelberg : Springer Berlin Heidelberg. - 1611-3349 .- 0302-9743. - 9783642030338 ; 5658/2009, s. 236-261
- Related links:
-
https://link.springe...
-
show more...
-
https://doi.org/10.1...
-
https://research.cha...
-
show less...
Table of contents
Abstract
Subject headings
Close
No table of content available
- A class of closely related problems, a problem domain, can often be described by a domain-specific language, which consists of algorithms and combinators useful for solving that particular class of problems. Such a language can be of two kinds: it can form a new language or it can be embedded as a sublanguage in an existing one. We describe an embedded DSL in the form of a library which extends a general purpose language. Our domain is that of vulnerability assessment in the context of climate change, formally described at the Potsdam Institute for Climate Impact Research. The domain is described using Haskell, yielding a domain specific sublanguage of Haskell that can be used for prototyping of implementations.In this paper we present a generic C++ library that implements a domain-specific language for vulnerability assessment, based on the formal Haskell description. The library rests upon and implements only a few notions, most importantly, that of a monadic system, a crucial part in the vulnerability assessment formalisation. We describe the Haskell description of monadic systems and we show our mapping of the description to generic C++ components. Our library heavily relies on concepts, a C++ feature supporting generic programming: a conceptual framework forms the domain-specific type system of our library and parametrised types and functions, ``typed'' by the concepts in our conceptual framework, represent the combinators and algorithms of the domain. Furthermore, we discuss what makes our library a domain specific language and how our domain-specific library scheme can be used for other domains (concerning language design, software design, and implementation techniques).
Subject headings
- TEKNIK OCH TEKNOLOGIER -- Naturresursteknik -- Annan naturresursteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Environmental Engineering -- Other Environmental Engineering (hsv//eng)
- NATURVETENSKAP -- Data- och informationsvetenskap -- Programvaruteknik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Software Engineering (hsv//eng)
- NATURVETENSKAP -- Geovetenskap och miljövetenskap -- Klimatforskning (hsv//swe)
- NATURAL SCIENCES -- Earth and Related Environmental Sciences -- Climate Research (hsv//eng)
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Publication and Content Type
- kon (subject category)
- ref (subject category)
Find in a library
To the university's database