With your tools, sounds like you can actually prove that they're going to be right before you start to write. Well, there are two kinds of specifications. You write one is what the program is supposed to do. It's not telling you anything about coding it. The other spec is how the program does it, which is a high level view of how the code works. Think of it as an algorithm and think of the code as an implementation of that algorithm.
Leslie Lamport is a computer scientist & mathematician who won ACM’s Turing Award in 2013 for his fundamental contributions to the theory and practice of distributed and concurrent systems. He also created LaTeX and TLA+, a high-level language for “writing down the ideas that go into the program before you do any coding.”
Leave us a comment
Changelog++ members save 7 minutes on this episode because they made the ads disappear. Join today!
Sponsors:
Featuring:
Show Notes:
Something missing or broken? PRs welcome!