A Denotational Semantics of Textually Aligned SPMD Programs

Type de document :
Communication dans un congrès
International Symposium on Formal Approaches to Parallel and Distributed Systems (4PAD 2018), Jul 2018, Orléans, France. Proceedings of the 5th International Symposium on Formal Approaches to Parallel and Distributed Systems (4PAD)
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01785110
Contributeur : Frédéric Dabrowski <>
Soumis le : vendredi 4 mai 2018 - 10:12:57
Dernière modification le : jeudi 17 janvier 2019 - 15:06:06

Identifiants

  • HAL Id : hal-01785110, version 1

Collections

Citation

Frédéric Dabrowski. A Denotational Semantics of Textually Aligned SPMD Programs. International Symposium on Formal Approaches to Parallel and Distributed Systems (4PAD 2018), Jul 2018, Orléans, France. Proceedings of the 5th International Symposium on Formal Approaches to Parallel and Distributed Systems (4PAD). 〈hal-01785110〉

Partager

Métriques

Consultations de la notice

39