当前位置: X-MOL 学术arXiv.cs.SC › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Proceedings 11th International Workshop on Computing with Terms and Graphs
arXiv - CS - Symbolic Computation Pub Date : 2021-02-02 , DOI: arxiv-2102.01804
Patrick BahrIT University of Copenhagen

Graphs, and graph transformation systems, are used in many areas within Computer Science: to represent data structures and algorithms, to define computation models, as a general modelling tool to study complex systems, etc. Research in term and graph rewriting ranges from theoretical questions to practical implementation issues. Relevant research areas include: the modelling of first- and higher-order term rewriting by graph rewriting, graphical frameworks such as interaction nets and sharing graphs (optimal reduction), rewrite calculi for the analysis of functional programs, graph reduction implementations of programming languages, graphical calculi modelling concurrent and mobile computations, object-oriented systems, graphs as a model of biological or chemical systems, and automated reasoning and symbolic computation systems working on shared structures. The aim of the TERMGRAPH workshop is to bring together researchers working in these different domains and to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area.

中文翻译:

会议论文集第十一届国际术语和图形计算研讨会

图形和图形转换系统已在计算机科学的许多领域中使用:表示数据结构和算法,定义计算模型,作为研究复杂系统的通用建模工具等。术语和图形重写的研究涉及理论问题实际执行问题。相关研究领域包括:通过图形重写对一阶和高阶术语重写进行建模,诸如交互网络和共享图形之类的图形框架(最佳缩减),用于功能程序分析的重写计算,编程语言的图形缩减实现,图形化计算建模并发和移动计算,面向对象的系统,作为生物或化学系统模型的图形,以及在共享结构上运行的自动推理和符号计算系统。TERMGRAPH研讨会的目的是将在这些不同领域工作的研究人员召集在一起,并促进他们之间的互动,提供一个提出新想法和进行中工作的论坛,并使新来者了解该领域的当前活动。
更新日期:2021-02-04
down
wechat
bug