Hostname: page-component-7479d7b7d-qs9v7 Total loading time: 0 Render date: 2024-07-14T07:53:02.303Z Has data issue: false hasContentIssue false

Foreword: special issue on term and graph rewriting

Published online by Cambridge University Press:  06 July 2018

RACHID ECHAHED*
Affiliation:
CNRS and Université Grenoble-Alpes, Grenoble, France Email: rachid.echahed@imag.fr
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Rewriting techniques constitute a foundational theory of computing science. They are being investigated for several structures, such as lambda-terms, strings, first-order terms or graphs, and have been successfully used in many areas such as programming languages, automated reasoning, program verification, security, etc. The growing interest in this research area is witnessed by the leading international events, such as ICGT (International Conference on Graph Transformation) and the recent FSCD conference (International Conference on Formal Structures for Computation and Deduction), which gathers all topics of the former international conferences RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications). During the last decade, a particular interest has been devoted to the study of the impact of shared structures in term and graph rewriting through the international workshops editions of TERMGRAPH and GCM (Graph Computation Models).

Type
Foreword
Copyright
Copyright © Cambridge University Press 2018