from Hacker News

The Limits of Correctness (1985) [pdf]

by decisiveness on 10/16/15, 5:46 PM with 3 comments

  • by agumonkey on 10/17/15, 3:28 AM

    Holy crap, I knew that name ringed a bell. At first I confused him with Brian Cantrill (dtrace et al. fame)... but this is Brian C. Smith of 3-Lisp reflective tower interpreter.

    https://en.wikipedia.org/wiki/Brian_Cantwell_Smith.

    I didn't know any of his other papers. Beautiful.

  • by mannykannot on 10/16/15, 6:07 PM

    As a primer on the many and significant difficulties of analytical verification, this may have some merit; as an argument for the futility of attempting to do so, it depends on a false all-or-nothing dichotomy.
  • by ngrilly on 10/16/15, 7:55 PM

    This is a beautiful text.