Re: matching ASTs

Chris F Clark <>
15 Oct 2000 16:26:09 -0400

          From comp.compilers

Related articles
matching ASTs (J Alan Brogan) (2000-10-12)
Re: matching ASTs (Chris F Clark) (2000-10-15)
Re: matching ASTs (2000-10-15)
Re: matching ASTs (Bruce Ediger) (2000-10-15)
Re: matching ASTs (Christian Lindig) (2000-10-18)
Re: matching ASTs (Ira D. Baxter) (2000-10-19)
matching ASTs (Robert Metzger) (2000-10-19)
| List of all articles for this month |

From: Chris F Clark <>
Newsgroups: comp.compilers
Date: 15 Oct 2000 16:26:09 -0400
Organization: The World Public Access UNIX, Brookline, MA
References: 00-10-095
Keywords: analysis

Yes, a very good idea. Try looking up "Knowledge Based Emacs" by
Richard Watters(sp?) of MIT for where that idea might lead. As I
recall, it was a programming system that recognized fragments of
algorithms in a paritally completed program and filled in the missing

Another take on that idea was pursued by Susan Horowitz (U Minn?),
where she cut to the semantic core of the algorithms and "diff'ed"
that. I believe the resulting pieces were called "slices". She was
looking for the parts of programs that didn't change due to edits that
moved the code around (but not to where it would make a semantic

Hope this helps,

Chris Clark Internet :
Compiler Resources, Inc. Web Site :
3 Proctor Street voice : (508) 435-5016
Hopkinton, MA 01748 USA fax : (508) 435-4847 (24 hours)

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.