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).