Communication Dans Un Congrès Année : 2025

Une sémantique mécanisée d'un langage FRP avec effets

Fichier principal
Vignette du fichier
main.pdf (72.38 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-05135592 , version 1 (30-06-2025)

Licence

Identifiants

  • HAL Id : hal-05135592 , version 1

Citer

Jordan Ischard, Frédéric Dabrowski, Jules Chouquet, Frédéric Loulergue. Une sémantique mécanisée d'un langage FRP avec effets. Journées Approches Formelles pour l'Assistance au Développement de Logiciels (AFADL), Jun 2025, Pau (France), France. ⟨hal-05135592⟩
95 Consultations
81 Téléchargements

Partager

  • More