Donnerstag, 27. November 2003 link
"Happily, it was proven that Turing's tape machine and Church's lambda calculus are isomorphic - an algorithm in one can be reduced to an algorithm for the other - so that theoreticians can prove things under one system or the other, as convenient. Obviously, though, the ones that prove using the lambda calculus are much cooler." [via LtU@]
The Omniscient Debugger is a tool for Java that "allows developers to step backwards through the execution of a program to determine where and how programming errors occurred. By recording each state change in the target application, it allows the developer to navigate 'backwards in time' to see what the values of variables and objects WERE, enormously simplifying the task of debugging programs."
no comments
Please log in (you may want to register first) to post comments!
search
68 active users
- unknown (68)
backlinks (more)
none, yet
recent stores (more)
recent comments
echo earlZstrainYat|tr ZY @.
