Search Results - "D13 [Programming Techniques]: Con- current Programming—Parallel programming"

Mixed-size concurrency: ARM, POWER, C/C++11, and SC

Authors: Flur, Shaked Sarkar, Susmit Pulte, Christopher et al.

Contributors: Flur, Shaked Sarkar, Susmit Pulte, Christopher et al.

Source: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. :429-442

Subject Terms: QA75, QA75 Electronic computers. Computer science, C0 [General]: Modeling of computer architecture, ~DC~, Mixed-size, NDAS, ISA, 02 engineering and technology, Semantics, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], F31 [Logics and Meanings of Programs]: Specifying and Verifying and Reasoning about Programs Keywords Relaxed Memory Models, mixed-size, Relaxed Memory Models, 0202 electrical engineering, electronic engineering, information engineering, BDC, D13 [Programming Techniques]: Con- current Programming—Parallel programming, semantics, R2C

File Description: application/pdf

Access URL: https://kar.kent.ac.uk/64723/1/mixed-size.pdf
https://inria.hal.science/hal-01413221v1
https://research-repository.st-andrews.ac.uk/handle/10023/9901
https://hal.inria.fr/hal-01413221
https://dl.acm.org/doi/pdf/10.1145/3009837.3009839
https://hal.inria.fr/hal-01413221/document
https://doi.org/10.1145/3009837.3009839
https://dblp.uni-trier.de/db/conf/popl/popl2017.html#FlurSPNMGSBS17
https://hdl.handle.net/10023/9901