Re: Are there any tools that can compare two source files

Sarath Kumar <sarath_kumar@mentorg.com>
15 Dec 2001 00:33:39 -0500

          From comp.compilers
Related articles
Are there any tools that can compare two source files satyanandam_g@hotmail.com (2001-12-07)
Re: Are there any tools that can compare two source files joachim_d@gmx.de (Joachim Durchholz) (2001-12-11)
Re: Are there any tools that can compare two source files sarath_kumar@mentorg.com (Sarath Kumar) (2001-12-15)
Re: Are there any tools that can compare two source files nmm1@cus.cam.ac.uk (2001-12-19)
Re: Are there any tools that can compare two source files joachim_d@gmx.de (Joachim Durchholz) (2001-12-20)
Re: Are there any tools that can compare two source files torbenm@eir.diku.dk (2001-12-20)
Re: Are there any tools that can compare two source files Martin.Ward@durham.ac.uk (2001-12-20)
Re: Are there any tools that can compare two source files RLWatkins@CompuServe.Com (R. L. Watkins) (2001-12-20)
Re: Are there any tools that can compare two source files thp@cs.ucr.edu (2001-12-20)
[3 later articles]
| List of all articles for this month |
From: Sarath Kumar <sarath_kumar@mentorg.com>
Newsgroups: comp.compilers
Date: 15 Dec 2001 00:33:39 -0500
Organization: MGI
References: 01-12-027
Keywords: tools, theory
Posted-Date: 15 Dec 2001 00:33:38 EST



Hi all,


        Generalizing the problem refers to the problem of finding the
semantic equivalence of two programs. Is this possible?? As the
theorists go this is very tough and not possible in polynomial time.


        If there is one such tool then send them down, i will love to look
at it.


Sarath.


Satyanandam Gullapudi wrote:
> I am looking for some tool which is more than simple text diff. I am
> looking for a tool which can generate the structure trees for the
> source file and compare them. It should not throw errors if the
> structure is just re-arragned.
[Seems to me that, like with many NP-complete problems, even though
it's impractical to get a perfect result, it could be very useful to
get an approximate result. -John]


Post a followup to this message

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