|start | find | index | login or register | edit|
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."
2 active users
|earl.strain.at • esa3 • online for 7100 days • c'est un vanilla site|