A Denotational Semantics of Textually Aligned SPMD Programs

Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01785110
Contributor : Frédéric Dabrowski <>
Submitted on : Friday, May 4, 2018 - 10:12:57 AM
Last modification on : Thursday, January 17, 2019 - 3:06:06 PM

Identifiers

  • 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〉

Share

Metrics

Record views

51