3 ms·
> "specification of system behavior" sounds like a programming language to me. A systems programming language, even. Lamport has directly and repeatedly addres
by tailrecursion 2y ago
> "specification of system behavior" sounds like a programming language to me. A systems programming language, even.
Lamport has directly and repeatedly addressed the differences between what's desirable in a specification language versus what's desirable in a programming language. Understanding the difference is vital to writing specifications.
- Mathnerd314 2y agoI looked for this "direct address". All I can tell is that he's repeatedly contradicted himself. http://lambda-the-ultimate.org/node/4922#comment-79370 http://lambda-the-ultimate.org/node/4922#comment-79370