|comparing two programs? email@example.com (1994-04-18)|
|Re: comparing two programs? firstname.lastname@example.org (Bryan O'Sullivan) (1994-04-19)|
|Re: comparing two programs? email@example.com (1994-04-20)|
|Re: comparing two programs? firstname.lastname@example.org (1994-04-20)|
|Re: comparing two programs? email@example.com (1994-04-26)|
|Re: comparing two programs? firstname.lastname@example.org (1994-04-29)|
|From:||email@example.com (Jan Vorbrueggen)|
|Organization:||Institut fuer Neuroinformatik, Ruhr-Universitaet Bochum, Germany|
|Date:||Wed, 20 Apr 1994 15:52:46 GMT|
firstname.lastname@example.org (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.
Return to the
Search the comp.compilers archives again.