Inklings: Thinking for Programmers

Thinking for Programmers

🕑 2014-05-05T03:57:56+00:00; try the Wayback Machine | edit

The thing that gets me about things like TLA+ is that once you’re written the spec, you effectively have the program, so why not just run the spec?