Monday, July 22, 2024
No menu items!
HomeCloud ComputingLinux Foundation launches TLA+ language foundation

Linux Foundation launches TLA+ language foundation

TLA+ (Temporal Logic of Actions), a programming language for modeling programs and systems, particularly concurrent and distributed ones, is moving from Microsoft’s jurisdiction to the Linux Foundation and getting its own, separate foundation to promote it.

The TLA+ Foundation, an independent non-profit organization dedicated to fostering the adoption and development of the language, was launched by the Linux Foundation on April 21. The TLA+ Foundation will provide education and training, fund research, develop tools, and build a community of practitioners. Inaugural members of the TLA+ Foundation include Oracle, Microsoft, and Amazon Web Services (AWS).

To read this article in full, please click here

InfoWorld Cloud ComputingRead More



Please enter your comment!
Please enter your name here

Most Popular

Recent Comments