Re: comparing two programs?

jan@neuroinformatik.ruhr-uni-bochum.de (Jan Vorbrueggen)
Wed, 20 Apr 1994 15:52:46 GMT

          From comp.compilers
Related articles
comparing two programs? abykov@pollux.usc.edu (1994-04-18)
Re: comparing two programs? bosullvn@maths.tcd.ie (Bryan O'Sullivan) (1994-04-19)
Re: comparing two programs? jan@neuroinformatik.ruhr-uni-bochum.de (1994-04-20)
Re: comparing two programs? abykov@pollux.usc.edu (1994-04-20)
Re: comparing two programs? khorsell@ee.latrobe.edu.au (1994-04-26)
Re: comparing two programs? masjpb@midge.bath.ac.uk (1994-04-29)
| List of all articles for this month |
Newsgroups: comp.compilers
From: jan@neuroinformatik.ruhr-uni-bochum.de (Jan Vorbrueggen)
Keywords: theory
Organization: Institut fuer Neuroinformatik, Ruhr-Universitaet Bochum, Germany
References: 94-04-124
Date: Wed, 20 Apr 1994 15:52:46 GMT

abykov@pollux.usc.edu (Alexander Bykov) writes:


      I need the program that would compare two programs for being identical.


You don't say what language your programme's written in...there are some
labguages that can be shown to have "normal forms", analoguous to the
normal forms of Boolean expressions. This allows programmme modifications
to be checked. occam2 is such a language (with a few restrictions, I
believe), and reputably a semi-automatical checker was used for
transformations of a behavioural FPU description.


Jan
--

Post a followup to this message

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