>> That's true when determining that the code will compile, but not for >> determining its meaning. >> > > Sorry, but are you claiming to have found a solution to a program that > can read another porogram source code and prove it is doing exactly > what it has been specified to do?
No. But surely you're familiar, at least in passing, with the concept of reading code rather than just running it and watching what happens. -- You received this message because you are subscribed to the Google Groups "The Java Posse" group. To post to this group, send email to javapo...@googlegroups.com. To unsubscribe from this group, send email to javaposse+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/javaposse?hl=en.