Skel2AM

Skel2AM est un outil de traduction sémantique qui convertit des schémas squelettiques en machines abstraites. Il permet de générer du code intermédiaire pour la compilation et de simplifier l'exécution d'un programme abstrait.

Dépôt de code

https://gitlab.inria.fr/skeletons/skel2am (nouvelle fenêtre)

Cas d'utilisation métiers

Génération de code intermédiaire pour la compilation : rechercher des initiatives proches
Simplification de l'exécution d'un programme abstrait : rechercher des initiatives proches
Traduction de schémas squelettiques en machines abstraites : rechercher des initiatives proches

Organisation

Administration centrale
- Gouvernement (Premier ministre et ministères)
  - Ministère de l’Économie, des Finances et de la Souveraineté industrielle, énergétique et numérique
    - Organismes rattachés - Ministère chargé de l'Économie et des Finances et de la Souveraineté industrielle et énergétique
      - Institut national de recherche en informatique et en automatique (organisation rattachée)

Description générée le lundi 18 mars 2024 à 11:37:56

D'autres initiatives de la même organisation

Insee
insee.fr
Inria
inria.fr
Coq
github.com/coq/coq
Catala
github.com/CatalaLang/catala