Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages

Authors: Din, Crystal, Hähnle, Reiner, Henrio, Ludovic, Johnsen, Einar, Pun, Violet, Tarifa, S. Lizeth Tapia

Contributors: Henrio, Ludovic

Source: ACM Transactions on Programming Languages and Systems

Subject Terms: CCS Concepts, Programming logic, Theory of computation → Parallel computing models, • Software and its engineering → Concurrent programming structures, CCS Concepts: Theory of computation → Parallel computing models Programming logic Program semantics • Software and its engineering → Concurrent programming structures, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], Program semantics, 01 natural sciences

File Description: application/pdf

Access URL: https://hal.science/hal-04732946v1
https://hal.science/hal-04732946v1/document
https://doi.org/10.1145/3648439
https://hdl.handle.net/11250/3152463

A true positives theorem for a static race detector

Authors: Gorogiannis, N, O'Hearn, PW, Sergey, I

Source: Proceedings of the ACM on Programming Languages. 3:1-29

Subject Terms: CCS Concepts: • Theory of computation → Program analysis, FOS: Computer and information sciences, Computer Science - Programming Languages, • Software and its engineering → Concurrent programming structures, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Programming Languages (cs.PL)

File Description: application/pdf

Access URL: https://dl.acm.org/doi/pdf/10.1145/3290370
http://arxiv.org/abs/1811.03503
https://eprints.mdx.ac.uk/29747/1/3290370.pdf
https://eprints.mdx.ac.uk/29747/
https://dl.acm.org/doi/pdf/10.1145/3290370
https://dl.acm.org/doi/10.1145/3290370
https://dblp.uni-trier.de/db/journals/pacmpl/pacmpl3.html#GorogiannisOS19
http://ui.adsabs.harvard.edu/abs/2018arXiv181103503G/abstract
https://arxiv.org/abs/1811.03503
https://arxiv.org/pdf/1811.03503.pdf
https://dblp.uni-trier.de/db/journals/corr/corr1811.html#abs-1811-03503
https://discovery-pp.ucl.ac.uk/id/eprint/10074329/

A Direct-Style Effect Notation for Sequential and Parallel Programs (Artifact)

Authors: Richter, David, Böhler, Timon, Weisenburger, Pascal, Mezini, Mira

Contributors: David Richter and Timon Böhler and Pascal Weisenburger and Mira Mezini

Subject Terms: parallelism, Software and its engineering → Concurrent programming structures, concurrency, ddc:004, do-notation, effects, Software and its engineering → Domain specific languages, Software and its engineering → Parallel programming languages

File Description: application/pdf

Access URL: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.17