TOOLinux

L’actu Linux et Open Source au quotidien

Le langage P devient open-source

jeudi 13 octobre 2016

Le langage de programmation P a été créé pour les modèles de machines à états sur les systèmes asynchrones. Le programme s’exécute étape par étape tout en suivant les instructions qu’il reçoit. Les développeurs utilisent des outils de modélisation pour vérifier que tous les aspects ont été couverts suivant les différents états possibles. Ensuite seulement, le programme est développé en langage C. C’est long et peut causer des bugs. Le langage P permet de modéliser l’ensemble des machines à états interagissant entres elles. De plus, P peut aussi compiler la modélisation qu’il a créée.

Ce langage multi-plateforme est principalement utilisé dans les environnements réseaux, l’embarqué ou les systèmes distribués. On peut concevoir des programmes pour les systèmes Windows, Linux et macOS. Microsoft le publie sous licence MIT.

Liens :

- Le dépôt Github
- Une vidéo de démonstration