Graph Pattern Matching as an Embedded Clojure DSL
Graph Pattern Matching as an Embedded Clojure DSL
复制标题
图模式匹配作为嵌入式 Clojure DSL
DOI：
10.1007/978-3-319-21145-9_12
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Tassilo
中科院分区：
文献类型：
--
作者：
Tassilo
FunnyQT是一个Clojure库，为用户提供了一套全面的模型查询和转换服务。这些是作为API和嵌入式DSL提供的。本文介绍了FunnyQT的嵌入式图形模式匹配DSL，它允许用户使用一个方便的文本符号，可以应用到图形定义模式。将模式应用于图的结果是图中模式的所有匹配的惰性序列。FunnyQT的模式匹配DSL非常有表现力。它支持肯定和否定的应用程序条件、任意约束、带有替代项的模式、嵌套模式等等。如果模式被定义为急切地而不是懒惰地进行评估，则由模式引起的搜索在多核机器上自动并行化以提高性能。
FunnyQT is a Clojure library supplying a comprehensive set of model querying and transformation services to the user. These are provided as APIs and embedded DSLs. This paper introduces FunnyQT’s embedded graph pattern matching DSL which allows users to define patterns using a convenient textual notation that can be applied to graphs. The result of applying a pattern to a graph is the lazy sequence of all matches of the pattern in the graph. FunnyQT’s pattern matching DSL is quite expressive. It supports positive and negative application conditions, arbitrary constraints, patterns with alternatives, nested patterns, and more. In case a pattern is defined to be evaluated eagerly instead of lazily, the search induced by the pattern is automatically parallelized on multi-core machines for improved performance.
登录
查看更多内容
影响因子：
3.9
作者：
Beldengrun, Yoran;Aragon, Jordi;Esquena, Jordi
通讯作者：
Esquena, Jordi
RubyTL：一种实用的、可扩展的转换语言
DOI：
10.1007/11787044_13
发表时间：
2006
期刊：
Sci. Comput. Program.
影响因子：
--
作者：
J. Cuadrado;J. Molina;Marcos Menárguez Tortosa
通讯作者：
Marcos Menárguez Tortosa
SIGMA：用于模型操作的 Scala 内部特定于领域的语言
DOI：
10.1007/978-3-319-11653-2_35
发表时间：
2014
期刊：
Sci. Comput. Program.
影响因子：
--
作者：
Filip Krikava;P. Collet;R. France
通讯作者：
R. France
使用FunnyQT 进行模型查询 - （扩展摘要）
DOI：
10.1007/978-3-642-38883-5_7
发表时间：
2013
期刊：
Sci. Comput. Program.
影响因子：
--
作者：
Tassilo Horn
通讯作者：
Tassilo Horn
GrGen.NET
DOI：
10.1007/s10009-010-0148-8
发表时间：
2010
影响因子：
1.5
作者：
Edgar Jakumeit;Sebastian Buchwald;Moritz Kroll
通讯作者：
Moritz Kroll