第七届国际计算与术语和图形研讨会论文集
Proceedings 7th International Workshop on Computing with Terms and Graphs
摘要：
本卷包含第七届国际术语和图形计算研讨会（TERMGRAPH 2013）的会议记录。研讨会于2013年3月23日在意大利罗马举行，作为第十六届欧洲软件理论与实践联合会议（ETAPS 2013）的一部分。术语和图重写的研究范围从理论问题到实际问题。图计算以自然和无缝的方式处理公共子表达式的共享，并提高了空间和时间上的计算效率。共享是无处不在的几个研究领域，作为见证的建模的第一和高阶长期重写（无环或循环）图重写，生物或化学抽象机的建模，以及程序设计语言的实现技术：许多实现功能，逻辑，面向对象，并发和移动演算是基于长期图。术语图也用于自动定理证明和符号计算系统中的共享结构。本次研讨会的目的是汇集研究人员在不同领域的术语和图形转换，并促进他们的互动，提供一个论坛，提出新的想法和工作进展，并使新来者了解当前的活动在术语图重写。这些会议记录包含六篇已接受的论文和两篇特邀演讲的摘要。所有提交的材料都经过了仔细的评审。接受的论文的主题范围很广，包括术语图重写，并发，语义以及术语图转换的应用问题的理论方面。
英文摘要：
This volume contains the proceedings of the Seventh International Workshop on Computing with Terms and Graphs (TERMGRAPH 2013). The workshop took place in Rome, Italy, on March 23rd, 2013, as part of the sixteenth edition of the European Joint Conferences on Theory and Practice of Software (ETAPS 2013). Research in term and graph rewriting ranges from theoretical questions to practical issues. Computing with graphs handles the sharing of common subexpressions in a natural and seamless way, and improves the efficiency of computations in space and time. Sharing is ubiquitous in several research areas, as witnessed by the modelling of first- and higher-order term rewriting by (acyclic or cyclic) graph rewriting, the modelling of biological or chemical abstract machines, and the implementation techniques of programming languages: many implementations of functional, logic, object-oriented, concurrent and mobile calculi are based on term graphs. Term graphs are also used in automated theorem proving and symbolic computation systems working on shared structures. The aim of this workshop is to bring together researchers working in different domains on term and graph transformation 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 term graph rewriting. These proceedings contain six accepted papers and the abstracts of two invited talks. All submissions were subject to careful refereeing. The topics of accepted papers range over a wide spectrum, including theoretical aspects of term graph rewriting, concurrency, semantics as well as application issues of term graph transformation.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
