3 ms·
https://en.wikipedia.org/wiki/TLA%2B https://en.wikipedia.org/wiki/TLA%2B
by rgovostes 6y ago
https://en.wikipedia.org/wiki/TLA%2B https://en.wikipedia.org/wiki/TLA%2B
- ASalazarMX 6y agoYour comment is very helpful, but it would have been perfect if it included the first paragraph. > TLA+ is a formal specification language developed by Leslie Lamport. It is used to design, model, document, and verify programs, especially concurrent systems and distributed systems. TLA+ has been described as exhaustively-testable pseudocode, and its use likened to drawing blueprints for software systems; TLA is an acronym for Temporal Logic of Actions.
- DannyB2 6y agoThank You for that! I was puzzling over, trying to find a meaning for TLA. In the 1980s I learned that TLA meant "Three Letter Acronyms". That made it easier to complain about the use of TLAs that were not explained. A TLA becomes a form of jargon that those not "on the inside" don't get.