Výsledky vyhledávání - "• Software and its engineering → Concurrent programming structures"

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages

Autoři: Din, Crystal Hähnle, Reiner Henrio, Ludovic a další

Přispěvatelé: Din, Crystal Hähnle, Reiner Henrio, Ludovic a další

Zdroj: ACM Transactions on Programming Languages and Systems

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: 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

Autoři: Gorogiannis, N O'Hearn, PW Sergey, I

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

Témata: 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)

Popis souboru: application/pdf

Přístupová URL adresa: 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)

Autoři: Richter, David Böhler, Timon Weisenburger, Pascal a další

Přispěvatelé: Richter, David Böhler, Timon Weisenburger, Pascal a další

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.17