From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1996 Path: news.gmane.org!not-for-mail From: Konstantinos Tourlas Newsgroups: gmane.science.mathematics.categories Subject: re: graph term rewriting Date: Mon, 4 Jun 2001 11:03:12 +0100 (BST) Message-ID: <15131.23776.56810.787529@zen.dcs.ed.ac.uk> References: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241018270 1626 80.91.229.2 (29 Apr 2009 15:17:50 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:17:50 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Mon Jun 4 08:53:13 2001 -0300 Return-Path: Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f54BJVm19518 for categories-list; Mon, 4 Jun 2001 08:19:31 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f In-Reply-To: X-Mailer: VM 6.72 under 21.1 (patch 8) "Bryce Canyon" XEmacs Lucid Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 6 Original-Lines: 30 Xref: news.gmane.org gmane.science.mathematics.categories:1996 Archived-At: > Research in graph term rewriting is being done > in regard to functional language implementation. > Have Category Theoretic methods been applied to > graph term rewriting research? If so, can someone > point me at papers? > To my best knowledge, Fabio Gadducci has, for some time now, been applying category-theoretic structures to graph term rewriting, and has written a couple of relevant survey papers which feature extensive bibliographic references. I believe these papers may be found in his home page (http://www.di.unipi.it/~gadducci/) even though his links may seem a bit cryptic at first. My understanding of your question is that you're interested in rewriting graphs which encode the structure of terms in some signature (or the structure of program terms in some programming language). If, instead, it is the rewriting of graphs (independent of specific interpretations) or of programs in visual languages that you are interested in, then I would be happy to provide more specific pointers, as the latter area of research is closer to my own interests. -- Konstantinos Tourlas Tel. : 0131-650-5162 Rm 1404, JCMB, The University of Edinburgh, e-mail : kxt@dcs.ed.ac.uk King's Buildings, Edinburgh, EH9 3JZ UK