3 ms·
as was part of the comment, unless "needed". Otherwise I've fallen into the trap of breaking out the most precise notation from the depths of the annals of math
by leecarraher 10y ago
as was part of the comment, unless "needed". Otherwise I've fallen into the trap of breaking out the most precise notation from the depths of the annals of mathematics to write slick looking, ultra concise pseudocode in latex (algorithm2e) for submissions to ieee and acm journals, and almost every time i get one or two reviewers saying that the notation is needlessly complex.
- pron 10y agoYes, but Lamport's talk was about formal specification and verification, and we're not talking some arcane stuff here: set membership and first order logic. CS graduates should know how to read that.