Boris' point seems to be -- and I agree -- that such a test would only be a semi-decision procedure. I.e., it can only falsify, but not validate the property for the test program.
/Andreas On 30 September 2014 04:48, Brendan Eich <[email protected]> wrote: > Put it in a worker or node.js. The point Sam was making was based on > Ecma-262, no browser watchdog required. > > /be > >> On Sep 29, 2014, at 6:47 PM, Boris Zbarsky <[email protected]> wrote: >> >>> On 9/29/14, 4:16 PM, Sam Tobin-Hochstadt wrote: >>> We'd consider it a spec violation (at least, I would), if this program >>> ran out of space, ever: >>> >>> var i = 0; >>> while (1) { i++; }; >> >> How would you know whether it does? You can't tell whether your program is >> terminated because it runs out of space or because the browser has decided >> it's hung and killed it.... >> >> -Boris >> _______________________________________________ >> es-discuss mailing list >> [email protected] >> https://mail.mozilla.org/listinfo/es-discuss > _______________________________________________ > es-discuss mailing list > [email protected] > https://mail.mozilla.org/listinfo/es-discuss _______________________________________________ es-discuss mailing list [email protected] https://mail.mozilla.org/listinfo/es-discuss
