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." no comments 
search 19 active users
backlinks (more) none, yet recent stores (more) recent comments echo earlZstrainYattr ZY @.


earl.strain.at • esa3 • online for 6835 days • c'est un vanilla site 