Preface to the special issue on the 10th International Conference on Graph Transformation

被引：0

作者：

Plump, Detlef ^{[1
]}

de Lara, Juan ^{[2
]}

机构：

[1] Univ York, Dept Comp Sci, York, N Yorkshire, England

[2] Univ Autonoma Madrid, Dept Comp Sci, Madrid, Spain

来源：

JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | 2019年 / 104卷

关键词：

Graph transformation; Graph languages; Conflicts and dependencies in graph transformation; PBPO graph transformation; Probabilistic timed graph transformation; Parsing for hyperedge replacement;

D O I：

10.1016/j.jlamp.2019.02.002

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

This special issue contains extended versions of five selected papers from the 10th edition of the International Conference on Graph Transformation (ICGT 2017). The articles cover the analysis of conflicts and dependencies of graph transformation, the specification of graph languages by type graphs, a new approach to graph transformation supporting cloning, modelling and analysis of probabilistic timed systems, and parsing for hyperedge replacement grammars. (C) 2019 Elsevier Inc. All rights reserved.

引用

页码：174 / 175

页数：2

共 6 条

[1] Specifying graph languages with type graphs [J].

Corradini, Andrea ;

Koenig, Barbara ;

Nolte, Dennis .

JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2019, 104 :176-200

[2] The PBPO graph transformation approach [J].

Corradini, Andrea ;

Duval, Dominique ;

Echahed, Rachid ;

Prost, Frederic ;

Ribeiro, Leila .

JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2019, 103 :213-231

[3]

de Lara J., 2017, LECT NOTES COMPUTER, V10373

[4] Formalization and correctness of predictive shift-reduce parsers for graph grammars based on hyperedge replacement [J].

Drewes, Frank ;

Hoffmann, Berthold ;

Minas, Mark .

JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2019, 104 :303-341

[5] Granularity of conflicts and dependencies in graph transformation systems: A two-dimensional approach [J].

Lambers, Leen ;

Born, Kristopher ;

Kosiol, Jens ;

Struber, Daniel ;

Taentzer, Gabriele .

JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2019, 103 :105-129

[6] Probabilistic timed graph transformation systems [J].

Maximova, Maria ;

Giese, Holger ;

Krause, Christian .

JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2018, 101 :110-131

← 1 →