Title data
Trancón y Widemann, Baltasar ; Lepper, Markus:
Paisley : Pattern Matching à la Carte.
In:
Hu, Zhenjiang ; Lara, Juan de (Hrsg.): Theory and practice of model transformations : 5th international conference, ICMT 2012, Prague, Czech Republic, May 28 - 29, 2012 ; proceedings. -
Berlin
: Springer
,
2012
. - pp. 240-247
. - (Lecture Notes in Computer Science
; 7307
)
ISBN 9783642304750
DOI: https://doi.org/10.1007/978-3-642-30476-7_16
Abstract in another language
Professional development of software dealing with structured models requires more systematic approach and semantic foundations than standard practice in general-purpose programming languages affords. One remedy is to move to domain-specific environments. Here, instead, we present a tool for the implementation of pattern matching as fundamental means of automated data extraction from complex models in a general-purpose programming language. The interface is simple but, thanks to elaborate and rigorous design, is also light-weight, portable, non-invasive, type-safe, modular and extensible. It is compatible with object-oriented data abstraction and has full support for nondeterminism by backtracking. The tool comes as a library consisting of two levels: elementary pattern constructs (generic, highly reusable) and pattern bindings for particular data models (specific, fairly reusable, user-definable). Applications use the library code in a small number of idiomatic ways, making pattern-matching code declarative in style (yet retaining richer host-language semantics), easily writable, readable and maintainable. Library and idiom together form a tightly embedded domain-specific language; no extension of the host language is required. The current implementation is in Java, but assumes only standard object-oriented features, and can hence be ported to other mainstream languages.
Further data
Item Type: | Article in a book |
---|---|
Refereed: | Yes |
Additional notes: | BAYCEER113964 |
Institutions of the University: | Faculties > Faculty of Biology, Chemistry and Earth Sciences > Department of Earth Sciences > Chair Ecological Modelling Research Institutions > Research Centres > Bayreuth Center of Ecology and Environmental Research- BayCEER Faculties Faculties > Faculty of Biology, Chemistry and Earth Sciences Faculties > Faculty of Biology, Chemistry and Earth Sciences > Department of Earth Sciences Research Institutions Research Institutions > Research Centres |
Result of work at the UBT: | Yes |
DDC Subjects: | 500 Science |
Date Deposited: | 29 Jun 2015 06:09 |
Last Modified: | 07 Jun 2016 11:55 |
URI: | https://eref.uni-bayreuth.de/id/eprint/15486 |