The Linux Foundation has announced the TLA+ Foundation (TLAF) to promote the adoption and development of the TLA+ programming language.
TLA+, which was invented by Leslie Lamport, is used for “modeling software above the code level and hardware above the circuit level,” says the language website. “It has an IDE (Integrated Development Environment) for writing models and running tools to check them. The tool most commonly used by engineers is the TLC model checker, but there is also a proof checker. TLA+ is based on mathematics and does not resemble any programming language.”
"TLA+ is a high-level language for modeling programs and systems, especially concurrent and distributed ones," says The Linux Foundation, and it can help "detect design flaws early in the development process, saving time and resources."
The new foundation, which includes inaugural members Amazon Web Services, Oracle, and Microsoft, aims to foster “the adoption of the TLA+ specification language in industry, academia, and education, guided by the overall goal of advancing mathematical thinking in software engineering.”
"The TLA+ Foundation is timely in so many ways. Thinking systemically and analytically about software development is more needed now than ever. The complexity of often-networks software systems is going up and we need tools like TLA+ to cope,” said Vint Cerf, Vice President and Chief Internet Evangelist at Google, in the announcement.
Read more about participation and support at The TLA+ Foundation.
Looking for a job?
Check out the latest job listings at Open Source JobHub.
Contact FOSSlife to learn about partnership and sponsorship opportunities.
Comments