maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] search feature of Maude

From: Steven Eker <eker AT csl.sri.com>
To: Thomas Genet <genet AT irisa.fr>, maude-help AT peepal.cs.uiuc.edu
Cc:
Subject: Re: [Maude-help] search feature of Maude
Date: Thu, 10 Feb 2005 16:32:42 -0800
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

On Thursday 10 February 2005 06:25, Thomas Genet wrote:
> I am looking for a technical paper (or any other kind of information)
> on how is implemented the
>
> search s =>+ t feature of maude...
>
> Thanks in advance for any link/explanation...

Breadth First Search with a full history kept in a hash table to avoid
revisiting old states. There is opportunistic rather than full sharing of
common subexpressions between states.

Steven

[Maude-help] search feature of Maude, Thomas Genet, 02/10/2005
- Re: [Maude-help] search feature of Maude, Steven Eker, 02/10/2005