Re: Help on disassembler/decompilers

hawley@icot32.icot.or.jp (David John Hawley)
15 Sep 90 01:34:44 GMT

          From comp.compilers

Related articles
[13 earlier articles]
Re: Help on disassembler/decompilers markh@csd4.csd.uwm.edu (Mark William Hopkins) (1990-09-10)
Re: Help on disassembler/decompilers Jonathan.Bowen@prg.oxford.ac.uk (Jonathan Bowen) (1990-09-13)
Re: Help on disassembler/decompilers nreadwin@miclon.uucp (1990-09-13)
Re: Help on disassembler/decompilers td@alice.UUCP (1990-09-13)
Re: Help on disassembler/decompilers kym@bingvaxu.cc.binghamton.edu.cc.binghamton.edu (1990-09-14)
Re: Help on disassembler/decompilers hankd@dynamo.ecn.purdue.edu (1990-09-14)
Re: Help on disassembler/decompilers hawley@icot32.icot.or.jp (1990-09-15)
Re: Help on disassembler/decompilers ch@dce.ie (1990-09-14)
Re: Help on disassembler/decompilers kym@bingvaxu.cc.binghamton.edu.cc.binghamton.edu (1990-09-15)
Re: Help on disassembler/decompilers roland@ai.mit.edu (1990-09-16)
Re: Help on disassembler/decompilers raulmill@usc.edu (1990-09-16)
Re: Help on disassembler/decompilers ch@dce.ie (1990-09-18)
Re: Help on disassembler/decompilers ctl8588@rigel.tamu.edu (1990-09-18)
[3 later articles]
| List of all articles for this month |

Newsgroups: comp.compilers,comp.lang.prolog
From: hawley@icot32.icot.or.jp (David John Hawley)
Followup-To: comp.compilers
Keywords: debug
Organization: Fifth Generation Computing Systems (ICOT), Tokyo, Japan
References: <1990Sep9.010032.23235@sco.COM> <433@necssd.NEC.COM> <679@culhua.prg.ox.ac.uk>
Date: 15 Sep 90 01:34:44 GMT

In article <679@culhua.prg.ox.ac.uk> Jonathan Bowen <Jonathan.Bowen@prg.oxford.ac.uk> writes:
>.... The main problem is running the necessary arithmetic backwards (i.e.
>avoiding the use of "is") and I am currently looking into this. Has anyone
>else done any similar work or can anyone supply any useful references?


I'm not confident that that is the major problem, but as far as
"more declarative" realizations of arithmetic (and other non-logical goodies),
check out "constraint logic programming". See the recent pair of articles
in the July/90 CACM - an interpreter and compiler are available for the
CLP(R) language mentioned there (for academic use).


If you are concerned about completeness issues for your "invertible 'is'",
maybe you would be interested in our Grobner-base constraint solver,
the "elephant gun approach" also mentioned in the above articles ;-)


David Hawley,
CAL group, ICOT
--


Post a followup to this message

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