Return to the
comp.compilers page.
Search the
comp.compilers archives again.
| 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] |
| 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
--
Return to the
comp.compilers page.
Search the
comp.compilers archives again.