maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] BDD's in Maude

From: Mohsen Vakilian <mvakili2 AT illinois.edu>
To: maude-help AT cs.uiuc.edu
Subject: [Maude-help] BDD's in Maude
Date: Mon, 5 Apr 2010 14:17:35 -0500
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>

I have submitted a question to SO about the idea of implementing a BDD based points-to analysis in Maude. I'd appreciate it if you could respond to my question either on SO or this mailing list.

Thanks

[Maude-help] BDD's in Maude, Mohsen Vakilian, 04/05/2010
- Re: [Maude-help] BDD's in Maude, Steven Eker, 04/05/2010