[REBOL] Challenging script idea Re:(5)

2000-08-31 Thread grantwparks 

I see the point about how difficult it would be with
Rebol, but in other languages, no, it's not that
difficult - and in fact using Rebol to analyze another
programming language would probably make it a lot
easier.  I used to do this using Rexx on IBMs to
analyze C and assembler programs - replacing sequences
of code with more efficient sequences and finding
sequences that should become functions and determining
what tokens in that code should become parameters.

--- [EMAIL PROTECTED] wrote:
 Well, there is the trivial case of identical source,
 assuming that it is run in the same context.
 
 This is interesting!
 Could you please elaborate?
 
 Isn't checking to see if two different programs 
 are doing "the same thing" rather difficult for 
 all but the dullest cases, in practically 
 any programming language?
 
 -Galt
 
 = Original Message From
 [EMAIL PROTECTED] =
 Hello [EMAIL PROTECTED]!
 
 On 30-Ago-00, you wrote:
 
  g And since one can look at
  g the template of any defined function at run
 time, it
  g seems possible to determine which tokens have
  g significance in a context, and which have none
 or
  g less.  Sort of like being able to determine
 that "the
  g names have been changed to protect the
 innocent", but
  g the story's the same.  What dost thou think?
 
 If you want to determine if two scripts are doing
 the same thing,
 you'd at least have to simulate their execution.
 That is, you
 can't determine that by just statically analyzing
 REBOL code.
 
 If you really find a way to do so, then you've
 found a way to
 compile REBOL code.
 
 Regards,
 Gabriele.
 --
 Gabriele Santilli [EMAIL PROTECTED] - Amigan -
 REBOL programmer
 Amiga Group Italia sez. L'Aquila --
 http://www.amyresource.it/AGI/
 


__
Do You Yahoo!?
Yahoo! Mail - Free email you can access from anywhere!
http://mail.yahoo.com/

[REBOL] Challenging script idea Re:(5)

2000-08-30 Thread sterling 


If it's a GPF that takes down the universe, you would be implying that 
we're all living in MS Universe 2000 or something like that.  Maybe
that's why we die, eh?  It's a bug in the system.

Sterling

 Actually, I think one can make a stronger statement.  I suspect
 (without spending many brain-cycles on it) that the GENERAL
 question "Does function f1 do the same thing as function f2?"
 is formally unsolvable, in the same way that the halting problem
 has no general solution.
 
 If you can really find a way to do so, you'll cause a general
 protection fault that will crash the universe.  ;-)
 
 -jn-
 
 [EMAIL PROTECTED] wrote:
  
 
  
  If you want to determine if two scripts are doing the same thing,
  you'd at least have to simulate their execution. That is, you
  can't determine that by just statically analyzing REBOL code.
  
  If you really find a way to do so, then you've found a way to
  compile REBOL code.
  
  Regards,
  Gabriele.
  --
  Gabriele Santilli [EMAIL PROTECTED] - Amigan - REBOL programmer
  Amiga Group Italia sez. L'Aquila -- http://www.amyresource.it/AGI/