A Living Monograph for Graph Transformation

被引：0

作者：

Behr, Nicolas ^{[1
]}

Harmer, Russ ^{[2
]}

机构：

[1] Univ Paris Cite, CNRS, IRIF, 8 Pl Aurelie Nemours, F-75205 Paris 13, France

[2] Univ Lyon, ENS Lyon, UCBL, CNRS,LIP, 46 Allee Italie, F-69364 Lyon 07, France

来源：

GRAPH TRANSFORMATION, ICGT 2023 | 2023年 / 13961卷

关键词：

graph transformation; collaborative mathematics; formalised mathematics; TUTORIAL;

D O I：

10.1007/978-3-031-36709-0_15

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

A preliminary account of the notion of a living monograph for the field of graph transformation, and the reasons that led us to it, is given. The advantages of such a system are discussed along with the technical problems that will need to be overcome in order to build it.

引用

页码：281 / 291

页数：11

共 27 条

[1]

Alama J, 2011, LECT NOTES ARTIF INT, V6824, P133, DOI 10.1007/978-3-642-22673-1_10

[2]

[Anonymous], 1994, AUTOMATED DEDUCTION, V814, P238, DOI [DOI 10.1007/3-540-58156-1_17, DOI 10.1007/3-540-58156-1]

[3] js']jsCoq: Towards Hybrid Theorem Proving Interfaces [J].

Arias, Emilio Jesus Gallego ;

Pin, Benoit ;

Jouvelot, Pierre .

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (239) :15-27

[4]

Arsac S., 2022, Coq formalization of graph transformation

[5]

Baresi L, 2002, LECT NOTES COMPUT SC, V2505, P402

[6]

Behr N., 2022, arXiv

[7] Concurrency Theorems for Non-linear Rewriting Theories [J].

Behr, Nicolas ;

Harmer, Russ ;

Krivine, Jean .

GRAPH TRANSFORMATION, ICGT 2021, 2021, 12741 :3-21

[8]

Bertot Y., 1994, Theoretical Aspects of Computer Software. International Symposium TACS '94 Proceedings, P141

[9]

Bertot Yves., 2004, TEXT THEORET COMP S, DOI 10.1007/978-3-662-07964-5

[10]

Claus V., 1979, LNCS, V73, DOI DOI 10.1007/BFB0025713

← 1 2 3 →