Algebraic Framework for Synchronous Language Semantics

Résumé : Cet article étudie différents cadres algébriques adéquats pour définir les sémantiques des languages synchrones. Ces languages sont principalement dédiés à la conception de systèmes crtiques embarqués. Leur vérification et leur compilation sont des challenges importants et doivent s'appuyer sur des sémantiques bien fondées mathématiquement. Dans cet article, nous étudions les algèbres multi valuées et nous montrons qu'une algèbre particulière, 4-valuée avec une structure de bilattice répond à notre problème. Cette approche nous permet de définir une sémantique permettant l'application des techniques de vérification formelle et offrant la possibilité d'une compilation séparée.
Type de document :
Communication dans un congrès
Laviana Ferariu and Alina Patelli. Theoritical Aspects of Software Engineering, Jul 2013, Birmingham, United Kingdom. IEEE Computer Society, pp.51-58, 2013, 2013 Symposium on Theoretical Aspects of Sofware Engineering
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00841559
Contributeur : Annie Ressouche <>
Soumis le : vendredi 5 juillet 2013 - 10:40:51
Dernière modification le : lundi 18 juin 2018 - 23:10:04
Document(s) archivé(s) le : dimanche 6 octobre 2013 - 04:13:08

Fichier

TASE_Draft.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00841559, version 1

Collections

Citation

Daniel Gaffé, Annie Ressouche. Algebraic Framework for Synchronous Language Semantics. Laviana Ferariu and Alina Patelli. Theoritical Aspects of Software Engineering, Jul 2013, Birmingham, United Kingdom. IEEE Computer Society, pp.51-58, 2013, 2013 Symposium on Theoretical Aspects of Sofware Engineering. 〈hal-00841559〉

Partager

Métriques

Consultations de la notice

345

Téléchargements de fichiers

153