Kolozsvári, Dániel; Pataki, Norbert A static analysis approach for modern iterator development. (English) Zbl 07822970 Ann. Math. Inform. 59, 37-53 (2023). MSC: 68N19 PDFBibTeX XMLCite \textit{D. Kolozsvári} and \textit{N. Pataki}, Ann. Math. Inform. 59, 37--53 (2023; Zbl 07822970) Full Text: DOI
Colvin, Robert J. A fine-grained semantics for arrays and pointers under weak memory models. (English) Zbl 07728849 Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 301-320 (2023). MSC: 68Q85 68N19 68Q55 PDFBibTeX XMLCite \textit{R. J. Colvin}, Lect. Notes Comput. Sci. 14000, 301--320 (2023; Zbl 07728849) Full Text: DOI
Wehrheim, Heike; Bargmann, Lara; Dongol, Brijesh Reasoning about promises in weak memory models with event structures. (English) Zbl 07728848 Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 282-300 (2023). MSC: 68Q85 03B70 68N19 68Q55 PDFBibTeX XMLCite \textit{H. Wehrheim} et al., Lect. Notes Comput. Sci. 14000, 282--300 (2023; Zbl 07728848) Full Text: DOI arXiv
Berthier, Nicolas; Khakpour, Narges Symbolic abstract heaps for polymorphic information-flow guard inference. (English) Zbl 07728615 Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 66-90 (2023). MSC: 68N30 68N19 PDFBibTeX XMLCite \textit{N. Berthier} and \textit{N. Khakpour}, Lect. Notes Comput. Sci. 13881, 66--90 (2023; Zbl 07728615) Full Text: DOI arXiv
Aubert, Clément; Rubiano, Thomas; Rusch, Neea; Seiller, Thomas Distributing and parallelizing non-canonical loops. (English) Zbl 07728612 Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 1-24 (2023). MSC: 68N30 68N19 PDFBibTeX XMLCite \textit{C. Aubert} et al., Lect. Notes Comput. Sci. 13881, 1--24 (2023; Zbl 07728612) Full Text: DOI
Ben-David, Naama Lock-free locks. (English) Zbl 1512.68028 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 139, 44-62 (2023). MSC: 68M14 68N19 PDFBibTeX XMLCite \textit{N. Ben-David}, Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 139, 44--62 (2023; Zbl 1512.68028) Full Text: Link
Cardall, Christian Y.; Budiardja, Reuben D. GenASiS Mathematics: object-oriented manifolds, operations, and solvers for large-scale physics simulations (version 2). (English) Zbl 07692482 Comput. Phys. Commun. 282, Article ID 108518, 3 p. (2023). MSC: 65-XX 68-XX PDFBibTeX XMLCite \textit{C. Y. Cardall} and \textit{R. D. Budiardja}, Comput. Phys. Commun. 282, Article ID 108518, 3 p. (2023; Zbl 07692482) Full Text: DOI
Conea, Sorin Ionuţ Integrated system for sensing home hazards. (English) Zbl 07806204 Sci. Stud. Res., Ser. Math. Inform. 32, No. 2, 29-42 (2022). MSC: 97R70 68N19 PDFBibTeX XMLCite \textit{S. I. Conea}, Sci. Stud. Res., Ser. Math. Inform. 32, No. 2, 29--42 (2022; Zbl 07806204)
Peters, Kirstin; Yoshida, Nobuko On the expressiveness of mixed choice sessions. (English) Zbl 07800872 Castiglioni, Valentina (ed.) et al., Proceedings of the combined 29th international workshop on expressiveness in concurrency and the 19th workshop on structural operational semantics, EXPRESS/SOS 2022, Warsaw, Poland, September 12, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 368, 113-130 (2022). MSC: 68Q85 68N19 PDFBibTeX XMLCite \textit{K. Peters} and \textit{N. Yoshida}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 368, 113--130 (2022; Zbl 07800872) Full Text: arXiv Link
Lee, Edward A.; Lohstroh, Marten Generalizing logical execution time. (English) Zbl 1528.68072 Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 160-181 (2022). MSC: 68N19 68Q85 PDFBibTeX XMLCite \textit{E. A. Lee} and \textit{M. Lohstroh}, Lect. Notes Comput. Sci. 13660, 160--181 (2022; Zbl 1528.68072) Full Text: DOI
Wang, Chao; Petri, Gustavo; Lv, Yi; Long, Teng; Liu, Zhiming Decidability of liveness for concurrent objects on the TSO memory model. (English) Zbl 1528.68073 Dong, Wei (ed.) et al., Dependable software engineering. Theories, tools, and applications. 8th international symposium, SETTA 2022, Beijing, China, October 27–29, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13649, 149-165 (2022). MSC: 68N19 68Q85 PDFBibTeX XMLCite \textit{C. Wang} et al., Lect. Notes Comput. Sci. 13649, 149--165 (2022; Zbl 1528.68073) Full Text: DOI arXiv
Jongmans, Sung-Shik; van den Bos, Petra A predicate transformer for choreographies. Computing preconditions in choreographic programming. (English) Zbl 1528.68080 Sergey, Ilya (ed.), Programming languages and systems. 31st European symposium on programming, ESOP 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13240, 520-547 (2022). MSC: 68N30 68N19 68Q85 PDFBibTeX XMLCite \textit{S.-S. Jongmans} and \textit{P. van den Bos}, Lect. Notes Comput. Sci. 13240, 520--547 (2022; Zbl 1528.68080) Full Text: DOI
Berger, Ulrich; Tsuiki, Hideki Extracting total Amb programs from proofs. (English) Zbl 1528.68077 Sergey, Ilya (ed.), Programming languages and systems. 31st European symposium on programming, ESOP 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13240, 85-113 (2022). MSC: 68N30 03B70 68N19 68Q55 PDFBibTeX XMLCite \textit{U. Berger} and \textit{H. Tsuiki}, Lect. Notes Comput. Sci. 13240, 85--113 (2022; Zbl 1528.68077) Full Text: DOI arXiv
Batz, Kevin; Fesefeldt, Ira; Jansen, Marvin; Katoen, Joost-Pieter; Keßler, Florian; Matheja, Christoph; Noll, Thomas Foundations for entailment checking in quantitative separation logic. (English) Zbl 1528.68208 Sergey, Ilya (ed.), Programming languages and systems. 31st European symposium on programming, ESOP 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13240, 57-84 (2022). MSC: 68Q60 03B70 68N19 PDFBibTeX XMLCite \textit{K. Batz} et al., Lect. Notes Comput. Sci. 13240, 57--84 (2022; Zbl 1528.68208) Full Text: DOI arXiv
Salehi, Khayyam; Noroozi, Ali A.; Amir-Mohammadian, Sepehr; Mohagheghi, Mohammadsadegh An automated quantitative information flow analysis for concurrent programs. (English) Zbl 1522.68135 Ábrahám, Erika (ed.) et al., Quantitative evaluation of systems. 19th international conference, QEST 2022, Warsaw, Poland, September 12–16, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13479, 43-63 (2022). MSC: 68N19 PDFBibTeX XMLCite \textit{K. Salehi} et al., Lect. Notes Comput. Sci. 13479, 43--63 (2022; Zbl 1522.68135) Full Text: DOI
Karimi, Ahmad; Moosbrugger, Marcel; Stankovič, Miroslav; Kovács, Laura; Bartocci, Ezio; Bura, Efstathia Distribution estimation for probabilistic loops. (English) Zbl 1522.68132 Ábrahám, Erika (ed.) et al., Quantitative evaluation of systems. 19th international conference, QEST 2022, Warsaw, Poland, September 12–16, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13479, 26-42 (2022). MSC: 68N19 PDFBibTeX XMLCite \textit{A. Karimi} et al., Lect. Notes Comput. Sci. 13479, 26--42 (2022; Zbl 1522.68132) Full Text: DOI arXiv
Kofnov, Andrey; Moosbrugger, Marcel; Stankovič, Miroslav; Bartocci, Ezio; Bura, Efstathia Moment-based invariants for probabilistic loops with non-polynomial assignments. (English) Zbl 1522.68133 Ábrahám, Erika (ed.) et al., Quantitative evaluation of systems. 19th international conference, QEST 2022, Warsaw, Poland, September 12–16, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13479, 3-25 (2022). MSC: 68N19 PDFBibTeX XMLCite \textit{A. Kofnov} et al., Lect. Notes Comput. Sci. 13479, 3--25 (2022; Zbl 1522.68133) Full Text: DOI arXiv
Garanina, Natalia; Staroletov, Sergey; Gorlatch, Sergei Model checking meets auto-tuning of high-performance programs. (English) Zbl 1522.68317 Villanueva, Alicia (ed.), Logic-based program synthesis and transformation. 32nd international symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13474, 63-82 (2022). MSC: 68Q60 68N19 PDFBibTeX XMLCite \textit{N. Garanina} et al., Lect. Notes Comput. Sci. 13474, 63--82 (2022; Zbl 1522.68317) Full Text: DOI
Amato, Gianluca; Meo, Maria Chiara; Scozzari, Francesca The role of linearity in sharing analysis. (English) Zbl 1517.68071 Math. Struct. Comput. Sci. 32, No. 1, 44-110 (2022). MSC: 68N19 68N15 68P05 PDFBibTeX XMLCite \textit{G. Amato} et al., Math. Struct. Comput. Sci. 32, No. 1, 44--110 (2022; Zbl 1517.68071) Full Text: DOI
Junges, Sebastian; Spaan, Matthijs T. J. Abstraction-refinement for hierarchical probabilistic models. (English) Zbl 1514.68029 Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13371, 102-123 (2022). MSC: 68N19 68Q60 90C40 PDFBibTeX XMLCite \textit{S. Junges} and \textit{M. T. J. Spaan}, Lect. Notes Comput. Sci. 13371, 102--123 (2022; Zbl 1514.68029) Full Text: DOI arXiv
Chen, Mingshuai; Katoen, Joost-Pieter; Klinkenberg, Lutz; Winkler, Tobias Does a program yield the right distribution? Verifying probabilistic programs via generating functions. (English) Zbl 1514.68028 Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13371, 79-101 (2022). MSC: 68N19 68Q60 PDFBibTeX XMLCite \textit{M. Chen} et al., Lect. Notes Comput. Sci. 13371, 79--101 (2022; Zbl 1514.68028) Full Text: DOI arXiv
Chatterjee, Krishnendu; Goharshady, Amir Kafshdar; Meggendorfer, Tobias; Žikelić, Đorđe Sound and complete certificates for quantitative termination analysis of probabilistic programs. (English) Zbl 1514.68027 Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13371, 55-78 (2022). MSC: 68N19 68Q60 PDFBibTeX XMLCite \textit{K. Chatterjee} et al., Lect. Notes Comput. Sci. 13371, 55--78 (2022; Zbl 1514.68027) Full Text: DOI
Bao, Jialu; Trivedi, Nitesh; Pathak, Drashti; Hsu, Justin; Roy, Subhajit Data-driven invariant learning for probabilistic programs. (English) Zbl 1514.68026 Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13371, 33-54 (2022). MSC: 68N19 68Q60 68T05 PDFBibTeX XMLCite \textit{J. Bao} et al., Lect. Notes Comput. Sci. 13371, 33--54 (2022; Zbl 1514.68026) Full Text: DOI arXiv
Fu, Peng; Kishida, Kohei; Selinger, Peter Linear dependent type theory for quantum programming languages. (English) Zbl 1503.68039 Log. Methods Comput. Sci. 18, No. 3, Paper No. 28, 44 p. (2022). MSC: 68N19 03B38 18M05 68N15 68Q12 81P68 PDFBibTeX XMLCite \textit{P. Fu} et al., Log. Methods Comput. Sci. 18, No. 3, Paper No. 28, 44 p. (2022; Zbl 1503.68039) Full Text: DOI arXiv
Javed, Noman; Gobet, Fernand; Lane, Peter Simplification of genetic programs: a literature survey. (English) Zbl 1507.68295 Data Min. Knowl. Discov. 36, No. 4, 1279-1300 (2022). MSC: 68T20 68N19 68T05 68-02 PDFBibTeX XMLCite \textit{N. Javed} et al., Data Min. Knowl. Discov. 36, No. 4, 1279--1300 (2022; Zbl 1507.68295) Full Text: DOI
Mooij, Arjan J. Static type checking without downcast operator. (English) Zbl 07581523 Inf. Process. Lett. 178, Article ID 106285, 7 p. (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{A. J. Mooij}, Inf. Process. Lett. 178, Article ID 106285, 7 p. (2022; Zbl 07581523) Full Text: DOI
Vidal, Germán Computing race variants in message-passing concurrent programming with selective receives. (English) Zbl 1499.68070 Mousavi, Mohammad Reza (ed.) et al., Formal techniques for distributed objects, components, and systems. 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13273, 188-207 (2022). MSC: 68N30 68N19 68Q85 PDFBibTeX XMLCite \textit{G. Vidal}, Lect. Notes Comput. Sci. 13273, 188--207 (2022; Zbl 1499.68070) Full Text: DOI arXiv
Bocchi, Laura; Lanese, Ivan; Mezzina, Claudio Antares; Yuen, Shoji The reversible temporal process language. (English) Zbl 1499.68220 Mousavi, Mohammad Reza (ed.) et al., Formal techniques for distributed objects, components, and systems. 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13273, 31-49 (2022). MSC: 68Q85 68N19 PDFBibTeX XMLCite \textit{L. Bocchi} et al., Lect. Notes Comput. Sci. 13273, 31--49 (2022; Zbl 1499.68220) Full Text: DOI
Unnikrishnan, C. S. New relativity in the gravitational universe. The theory of cosmic relativity and its experimental evidence. (English) Zbl 1519.83028 Fundamental Theories of Physics 209. Cham: Springer (ISBN 978-3-031-08934-3/hbk; 978-3-031-08937-4/pbk; 978-3-031-08935-0/ebook). xxi, 485 p. (2022). MSC: 83C40 83F05 83C10 68N19 00A79 83-01 PDFBibTeX XMLCite \textit{C. S. Unnikrishnan}, New relativity in the gravitational universe. The theory of cosmic relativity and its experimental evidence. Cham: Springer (2022; Zbl 1519.83028) Full Text: DOI
Narsoo, Jeetendre; Sunhaloo, Sameer An object-oriented framework using design patterns for numerical option pricing. (English) Zbl 1489.91269 Palest. J. Math. 11, No. 1, 326-344 (2022). MSC: 91G20 68N19 PDFBibTeX XMLCite \textit{J. Narsoo} and \textit{S. Sunhaloo}, Palest. J. Math. 11, No. 1, 326--344 (2022; Zbl 1489.91269) Full Text: Link
Siek, Konrad; Wojciechowski, Paweł T. Last-use opacity: a strong safety property for transactional memory with prerelease support. (English) Zbl 1489.68052 Distrib. Comput. 35, No. 3, 265-301 (2022). MSC: 68N19 68Q85 PDFBibTeX XMLCite \textit{K. Siek} and \textit{P. T. Wojciechowski}, Distrib. Comput. 35, No. 3, 265--301 (2022; Zbl 1489.68052) Full Text: DOI arXiv
Larchey-Wendling, Dominique; Monin, Jean-François The Braga method: extracting certified algorithms from complex recursive schemes in Coq. (English) Zbl 1528.68392 Mainzer, Klaus (ed.) et al., Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school “Proof and computation”, September 20–26, 2019. Hackensack, NJ: World Scientific. 305-386 (2022). MSC: 68V15 68N19 68N30 PDFBibTeX XMLCite \textit{D. Larchey-Wendling} and \textit{J.-F. Monin}, in: Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school ``Proof and computation'', September 20--26, 2019. Hackensack, NJ: World Scientific. 305--386 (2022; Zbl 1528.68392) Full Text: DOI HAL
Kavanagh, Ryan Fairness and communication-based semantics for session-typed languages. (English) Zbl 1504.68030 Inf. Comput. 285, Part B, Article ID 104892, 77 p. (2022). MSC: 68N15 68N18 68N19 68N30 68Q42 PDFBibTeX XMLCite \textit{R. Kavanagh}, Inf. Comput. 285, Part B, Article ID 104892, 77 p. (2022; Zbl 1504.68030) Full Text: DOI arXiv
Marzorati, Denise; Fernández, Joaquin; Kofman, Ernesto Efficient connection processing in equation-based object-oriented models. (English) Zbl 1510.68014 Appl. Math. Comput. 418, Article ID 126842, 19 p. (2022). MSC: 68N20 68N19 68R10 PDFBibTeX XMLCite \textit{D. Marzorati} et al., Appl. Math. Comput. 418, Article ID 126842, 19 p. (2022; Zbl 1510.68014) Full Text: DOI
Ying, Mingsheng; Zhou, Li; Li, Yangjia; Feng, Yuan A proof system for disjoint parallel quantum programs. (English) Zbl 1478.68047 Theor. Comput. Sci. 897, 164-184 (2022). MSC: 68N19 03B70 68Q12 81P68 PDFBibTeX XMLCite \textit{M. Ying} et al., Theor. Comput. Sci. 897, 164--184 (2022; Zbl 1478.68047) Full Text: DOI
Alpuente, M.; Ballis, D.; Escobar, S.; Sapiña, J. Optimization of rewrite theories by equational partial evaluation. (English) Zbl 1477.68136 J. Log. Algebr. Methods Program. 124, Article ID 100729, 29 p. (2022). MSC: 68Q42 68N19 68Q85 PDFBibTeX XMLCite \textit{M. Alpuente} et al., J. Log. Algebr. Methods Program. 124, Article ID 100729, 29 p. (2022; Zbl 1477.68136) Full Text: DOI
Hoppen, Alexander; Noll, Thomas A debugger for probabilistic programs. (English) Zbl 1522.68131 Calinescu, Radu (ed.) et al., Software engineering and formal methods. 19th international conference, SEFM 2021, virtual event, December 6–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13085, 282-289 (2021). MSC: 68N19 PDFBibTeX XMLCite \textit{A. Hoppen} and \textit{T. Noll}, Lect. Notes Comput. Sci. 13085, 282--289 (2021; Zbl 1522.68131) Full Text: DOI
Mironov, A. M. A mathematical model of parallel programs and an approach based on it to verification of MPI programs. (Russian. English summary) Zbl 1517.68073 Model. Anal. Inf. Sist. 28, No. 4, 394-412 (2021). MSC: 68N19 68Q60 68Q85 PDFBibTeX XMLCite \textit{A. M. Mironov}, Model. Anal. Inf. Sist. 28, No. 4, 394--412 (2021; Zbl 1517.68073) Full Text: DOI MNR
Bidlingmaier, Martin E.; Faissole, Florian; Spitters, Bas Synthetic topology in homotopy type theory for probabilistic programming. (English) Zbl 1517.68072 Math. Struct. Comput. Sci. 31, No. 10, 1301-1329 (2021). MSC: 68N19 03B38 03F60 06D22 18B25 18C20 18C50 18N45 28E15 55U35 68N30 68V20 PDFBibTeX XMLCite \textit{M. E. Bidlingmaier} et al., Math. Struct. Comput. Sci. 31, No. 10, 1301--1329 (2021; Zbl 1517.68072) Full Text: DOI arXiv
Huang, Zixin; Dutta, Saikat; Misailovic, Sasa AQUA: automated quantized inference for probabilistic programs. (English) Zbl 1497.68099 Hou, Zhe (ed.) et al., Automated technology for verification and analysis. 19th international symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12971, 229-246 (2021). MSC: 68N19 PDFBibTeX XMLCite \textit{Z. Huang} et al., Lect. Notes Comput. Sci. 12971, 229--246 (2021; Zbl 1497.68099) Full Text: DOI
Sharma, Divyanjali; Sharma, Subodh Thread-modular analysis of release-acquire concurrency. (English) Zbl 1497.68123 Drăgoi, Cezara (ed.) et al., Static analysis. 28th international symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12913, 384-404 (2021). MSC: 68N30 68N19 68Q55 68Q85 PDFBibTeX XMLCite \textit{D. Sharma} and \textit{S. Sharma}, Lect. Notes Comput. Sci. 12913, 384--404 (2021; Zbl 1497.68123) Full Text: DOI arXiv
Schwarz, Michael; Saan, Simmo; Seidl, Helmut; Apinis, Kalmer; Erhard, Julian; Vojdani, Vesal Improving thread-modular abstract interpretation. (English) Zbl 1497.68122 Drăgoi, Cezara (ed.) et al., Static analysis. 28th international symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12913, 359-383 (2021). MSC: 68N30 68N19 68Q55 68Q85 PDFBibTeX XMLCite \textit{M. Schwarz} et al., Lect. Notes Comput. Sci. 12913, 359--383 (2021; Zbl 1497.68122) Full Text: DOI arXiv
Dokter, Kasper; Arbab, Farhad Protocol scheduling. (English) Zbl 1496.68097 Hojjat, Hossein (ed.) et al., Fundamentals of software engineering. 9th international conference, FSEN 2021, virtual event, May 19–21, 2021. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12818, 3-17 (2021). MSC: 68N19 68M20 68Q45 68Q85 91A80 PDFBibTeX XMLCite \textit{K. Dokter} and \textit{F. Arbab}, Lect. Notes Comput. Sci. 12818, 3--17 (2021; Zbl 1496.68097) Full Text: DOI
Szałas, Andrzej Many-valued dynamic object-oriented inheritance and approximations. (English) Zbl 1495.68232 Ramanna, Sheela (ed.) et al., Rough sets. International joint conference, IJCRS 2021, Bratislava, Slovakia, September 19–24, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12872, 103-119 (2021). MSC: 68T37 68N19 68P15 PDFBibTeX XMLCite \textit{A. Szałas}, Lect. Notes Comput. Sci. 12872, 103--119 (2021; Zbl 1495.68232) Full Text: DOI
Yoshida, Nobuko; Zhou, Fangyi; Ferreira, Francisco Communicating finite state machines and an extensible toolchain for multiparty session types. (English) Zbl 1487.68168 Bampis, Evripidis (ed.) et al., Fundamentals of computation theory. 23rd international symposium, FCT 2021, Athens, Greece, September 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12867, 18-35 (2021). MSC: 68Q85 68N19 68Q45 PDFBibTeX XMLCite \textit{N. Yoshida} et al., Lect. Notes Comput. Sci. 12867, 18--35 (2021; Zbl 1487.68168) Full Text: DOI
Dal Lago, Ugo; Hoshino, Naohiko The geometry of Bayesian programming. (English) Zbl 1495.68035 Math. Struct. Comput. Sci. 31, No. 6, 633-681 (2021). MSC: 68N18 03F52 68N19 68Q55 PDFBibTeX XMLCite \textit{U. Dal Lago} and \textit{N. Hoshino}, Math. Struct. Comput. Sci. 31, No. 6, 633--681 (2021; Zbl 1495.68035) Full Text: DOI arXiv
Dijkstra, Edsger Solution of a problem in concurrent program control (1965). (English) Zbl 07526274 Lewis, Harry R. (ed.), Ideas that created the future. Classic papers of computer science. Cambridge, MA: MIT Press. 267-270 (2021). MSC: 68-03 68N19 PDFBibTeX XMLCite \textit{E. Dijkstra}, in: Ideas that created the future. Classic papers of computer science. Cambridge, MA: MIT Press. 267--270 (2021; Zbl 07526274)
Reinhard, Tobias; Jacobs, Bart Ghost signals: verifying termination of busy waiting. (English) Zbl 1493.68097 Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 27-50 (2021). MSC: 68N19 03B70 68Q60 PDFBibTeX XMLCite \textit{T. Reinhard} and \textit{B. Jacobs}, Lect. Notes Comput. Sci. 12760, 27--50 (2021; Zbl 1493.68097) Full Text: DOI arXiv
Abate, Alessandro; Giacobbe, Mirco; Roy, Diptarko Learning probabilistic termination proofs. (English) Zbl 1493.68095 Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 3-26 (2021). MSC: 68N19 68Q60 68Q87 68T05 PDFBibTeX XMLCite \textit{A. Abate} et al., Lect. Notes Comput. Sci. 12760, 3--26 (2021; Zbl 1493.68095) Full Text: DOI
Eilers, Marco; Meier, Severin; Müller, Peter Product programs in the wild: retrofitting program verifiers to check information flow security. (English) Zbl 1493.68106 Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12759, 718-741 (2021). MSC: 68N30 68N19 68Q60 PDFBibTeX XMLCite \textit{M. Eilers} et al., Lect. Notes Comput. Sci. 12759, 718--741 (2021; Zbl 1493.68106) Full Text: DOI
Johnson, Andrew; Wahl, Thomas Delay-bounded scheduling without delay! (English) Zbl 1493.68113 Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12759, 380-402 (2021). MSC: 68N30 68N19 68Q85 PDFBibTeX XMLCite \textit{A. Johnson} and \textit{T. Wahl}, Lect. Notes Comput. Sci. 12759, 380--402 (2021; Zbl 1493.68113) Full Text: DOI arXiv
Breuvart, Flavien; Dal Lago, Ugo; Herrou, Agathe On higher-order probabilistic subrecursion. (English) Zbl 1486.68039 Log. Methods Comput. Sci. 17, No. 4, Paper No. 25, 35 p. (2021). MSC: 68N30 03B40 68N19 68Q10 68Q55 PDFBibTeX XMLCite \textit{F. Breuvart} et al., Log. Methods Comput. Sci. 17, No. 4, Paper No. 25, 35 p. (2021; Zbl 1486.68039) Full Text: arXiv Link
Cserép, Máté; Szendrei, Rudolf UML based modeling and code generation of network protocols. (English) Zbl 1488.68006 Ann. Univ. Sci. Budap. Rolando Eötvös, Sect. Comput. 52, 73-92 (2021). MSC: 68M12 68N19 PDFBibTeX XMLCite \textit{M. Cserép} and \textit{R. Szendrei}, Ann. Univ. Sci. Budap. Rolando Eötvös, Sect. Comput. 52, 73--92 (2021; Zbl 1488.68006) Full Text: Link
Morihata, Akimasa Lambda calculus with algebraic simplification for reduction parallelisation: extended study. (English) Zbl 1522.68126 J. Funct. Program. 31, Paper No. e7, 40 p. (2021). MSC: 68N18 68N19 PDFBibTeX XMLCite \textit{A. Morihata}, J. Funct. Program. 31, Paper No. e7, 40 p. (2021; Zbl 1522.68126) Full Text: DOI
Pani, Thomas; Weissenbacher, Georg; Zuleger, Florian Rely-guarantee bound analysis of parameterized concurrent shared-memory programs. With an application to proving that non-blocking algorithms are bounded lock-free. (English) Zbl 1522.68161 Form. Methods Syst. Des. 57, No. 2, 270-302 (2021). MSC: 68N30 68N19 68Q60 PDFBibTeX XMLCite \textit{T. Pani} et al., Form. Methods Syst. Des. 57, No. 2, 270--302 (2021; Zbl 1522.68161) Full Text: DOI
Nguyen, Duong; Yingchareonthawornchai, Sorrachai; Tekken Valapil, Vidhya; Kulkarni, Sandeep S.; Demirbas, Murat Precision, recall, and sensitivity of monitoring partially synchronous distributed programs. (English) Zbl 1522.68134 Distrib. Comput. 34, No. 5, 319-348 (2021). MSC: 68N19 PDFBibTeX XMLCite \textit{D. Nguyen} et al., Distrib. Comput. 34, No. 5, 319--348 (2021; Zbl 1522.68134) Full Text: DOI arXiv
Dietsch, Daniel; Heizmann, Matthias; Klumpp, Dominik; Naouar, Mehdi; Podelski, Andreas; Schätzle, Claus Verification of concurrent programs using Petri net unfoldings. (English) Zbl 1472.68087 Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 174-195 (2021). MSC: 68Q60 68N19 68Q85 PDFBibTeX XMLCite \textit{D. Dietsch} et al., Lect. Notes Comput. Sci. 12597, 174--195 (2021; Zbl 1472.68087) Full Text: DOI
Peterson, Christina; Cook, Victor; Dechev, Damian Concurrent correctness in vector space. (English) Zbl 1472.68092 Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 151-173 (2021). MSC: 68Q60 68N19 68Q85 PDFBibTeX XMLCite \textit{C. Peterson} et al., Lect. Notes Comput. Sci. 12597, 151--173 (2021; Zbl 1472.68092) Full Text: DOI
Paquet, Hugo Bayesian strategies: probabilistic programs as generalised graphical models. (English) Zbl 1473.68054 Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 519-547 (2021). MSC: 68N30 62H22 68N15 68N19 68Q55 91A80 PDFBibTeX XMLCite \textit{H. Paquet}, Lect. Notes Comput. Sci. 12648, 519--547 (2021; Zbl 1473.68054) Full Text: DOI
Moosbrugger, Marcel; Bartocci, Ezio; Katoen, Joost-Pieter; Kovács, Laura Automated termination analysis of polynomial probabilistic programs. (English) Zbl 1473.68053 Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 491-518 (2021). MSC: 68N30 68N19 68Q87 PDFBibTeX XMLCite \textit{M. Moosbrugger} et al., Lect. Notes Comput. Sci. 12648, 491--518 (2021; Zbl 1473.68053) Full Text: DOI arXiv
Mak, Carol; Ong, C.-H. Luke; Paquet, Hugo; Wagner, Dominik Densities of almost surely terminating probabilistic programs are differentiable almost everywhere. (English) Zbl 1473.68048 Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 432-461 (2021). MSC: 68N30 68N19 PDFBibTeX XMLCite \textit{C. Mak} et al., Lect. Notes Comput. Sci. 12648, 432--461 (2021; Zbl 1473.68048) Full Text: DOI arXiv
Lundén, Daniel; Borgström, Johannes; Broman, David Correctness of sequential Monte Carlo inference for probabilistic programming languages. (English) Zbl 1473.68038 Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 404-431 (2021). MSC: 68N15 68N18 68N19 68Q55 68Q87 68T37 PDFBibTeX XMLCite \textit{D. Lundén} et al., Lect. Notes Comput. Sci. 12648, 404--431 (2021; Zbl 1473.68038) Full Text: DOI arXiv
Caltais, Georgiana; Tunç, Hünkar Can Explaining safety failures in NetKAT. (English) Zbl 1518.68046 J. Log. Algebr. Methods Program. 121, Article ID 100676, 16 p. (2021). MSC: 68N30 03B70 68N15 68N19 PDFBibTeX XMLCite \textit{G. Caltais} and \textit{H. C. Tunç}, J. Log. Algebr. Methods Program. 121, Article ID 100676, 16 p. (2021; Zbl 1518.68046) Full Text: DOI arXiv
Badia, Santiago; Martín, Alberto F. A tutorial-driven introduction to the parallel finite element library FEMPAR V1.0.0. (English) Zbl 07678485 Comput. Phys. Commun. 248, Article ID 107059, 24 p. (2020). MSC: 65-XX 74-XX PDFBibTeX XMLCite \textit{S. Badia} and \textit{A. F. Martín}, Comput. Phys. Commun. 248, Article ID 107059, 24 p. (2020; Zbl 07678485) Full Text: DOI arXiv
Kuznetsov, Petr; Rieutord, Thibault; Tucci-Piergiovanni, Sara Reconfigurable lattice agreement and applications. (English) Zbl 1504.68017 Felber, Pascal (ed.) et al., 23rd international conference on principles of distributed systems, OPODIS 2019, Neuchâtel, Switzerland, December 17–19, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 153, Article 31, 17 p. (2020). MSC: 68M14 68N19 68Q65 PDFBibTeX XMLCite \textit{P. Kuznetsov} et al., LIPIcs -- Leibniz Int. Proc. Inform. 153, Article 31, 17 p. (2020; Zbl 1504.68017) Full Text: DOI arXiv
Bila, Eleni; Doherty, Simon; Dongol, Brijesh; Derrick, John; Schellhorn, Gerhard; Wehrheim, Heike Defining and verifying durable opacity: correctness for persistent software transactional memory. (English) Zbl 1511.68072 Gotsman, Alexey (ed.) et al., Formal techniques for distributed objects, components, and systems. 40th IFIP WG 6.1 international conference, FORTE 2020, held as part of the 15th international federated conference on distributed computing techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12136, 39-58 (2020). MSC: 68N30 68N19 PDFBibTeX XMLCite \textit{E. Bila} et al., Lect. Notes Comput. Sci. 12136, 39--58 (2020; Zbl 1511.68072) Full Text: DOI arXiv
Paviotti, Marco; Cooksey, Simon; Paradis, Anouk; Wright, Daniel; Owens, Scott; Batty, Mark Modular relaxed dependencies in weak memory concurrency. (English) Zbl 1508.68045 Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 599-625 (2020). MSC: 68N19 68N15 68N20 68Q55 PDFBibTeX XMLCite \textit{M. Paviotti} et al., Lect. Notes Comput. Sci. 12075, 599--625 (2020; Zbl 1508.68045) Full Text: DOI
Laurel, Jacob; Misailovic, Sasa Continualization of probabilistic programs with correction. (English) Zbl 1508.68044 Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 366-393 (2020). MSC: 68N19 PDFBibTeX XMLCite \textit{J. Laurel} and \textit{S. Misailovic}, Lect. Notes Comput. Sci. 12075, 366--393 (2020; Zbl 1508.68044) Full Text: DOI
Klemen, Maximiliano; López-García, Pedro; Gallagher, John P.; Morales, José F.; Hermenegildo, Manuel V. A general framework for static cost analysis of parallel logic programs. (English) Zbl 1502.68068 Gabbrielli, Maurizio (ed.), Logic-based program synthesis and transformation. 29th international symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12042, 19-35 (2020). MSC: 68N17 68N19 PDFBibTeX XMLCite \textit{M. Klemen} et al., Lect. Notes Comput. Sci. 12042, 19--35 (2020; Zbl 1502.68068) Full Text: DOI arXiv Link
Zimmer, Dirk Robust object-oriented formulation of directed thermofluid stream networks. (English) Zbl 1493.76080 Math. Comput. Model. Dyn. Syst. 26, No. 3, 204-233 (2020). MSC: 76M99 76B10 76-10 65Y10 68N19 PDFBibTeX XMLCite \textit{D. Zimmer}, Math. Comput. Model. Dyn. Syst. 26, No. 3, 204--233 (2020; Zbl 1493.76080) Full Text: DOI
Trindade, André; Mota, João; Ravara, António Typestates to automata and back: a tool. (English) Zbl 1477.68073 Lange, Julien (ed.) et al., Proceedings of the 13th interaction and concurrency experience workshop, ICE’20, online, June 19, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 324, 25-42 (2020). MSC: 68N18 68-04 68N19 68Q45 PDFBibTeX XMLCite \textit{A. Trindade} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 324, 25--42 (2020; Zbl 1477.68073) Full Text: arXiv Link
Mackay, Julian; Potanin, Alex; Aldrich, Jonathan; Groves, Lindsay Syntactically restricting bounded polymorphism for decidable subtyping. (English) Zbl 1476.68041 Oliveira, Bruno C. d. S. (ed.), Programming languages and systems. 18th Asian symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12470, 125-144 (2020). MSC: 68N15 68N18 68N19 PDFBibTeX XMLCite \textit{J. Mackay} et al., Lect. Notes Comput. Sci. 12470, 125--144 (2020; Zbl 1476.68041) Full Text: DOI
Janin, David An equational modeling of asynchronous concurrent programming. (English) Zbl 1475.68062 Byrski, Aleksander (ed.) et al., Trends in functional programming. 21st international symposium, TFP 2020, Krakow, Poland, February 13–14, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12222, 180-203 (2020). MSC: 68N18 68N19 PDFBibTeX XMLCite \textit{D. Janin}, Lect. Notes Comput. Sci. 12222, 180--203 (2020; Zbl 1475.68062) Full Text: DOI HAL
Falaschi, Moreno; Gabbrielli, Maurizio; Olarte, Carlos; Palamidessi, Catuscia Dynamic slicing for concurrent constraint languages. (English) Zbl 1497.68098 Fundam. Inform. 177, No. 3-4, 331-357 (2020). MSC: 68N19 68Q85 PDFBibTeX XMLCite \textit{M. Falaschi} et al., Fundam. Inform. 177, No. 3--4, 331--357 (2020; Zbl 1497.68098) Full Text: DOI arXiv
Dell’Oca, Aronne; Porta, Giovanni M. Characterization of flow through random media via Karhunen-Loève expansion: an information theory perspective. (English) Zbl 1462.94018 GEM. Int. J. Geomath. 11, No. 1, Paper No. 18, 18 p. (2020). MSC: 94A17 94A05 65C30 68N19 76M35 PDFBibTeX XMLCite \textit{A. Dell'Oca} and \textit{G. M. Porta}, GEM. Int. J. Geomath. 11, Paper No. 18, 18 p. (2020; Zbl 1462.94018) Full Text: DOI
Schemmel, Daniel; Büning, Julian; Rodríguez, César; Laprell, David; Wehrle, Klaus Symbolic partial-order execution for testing multi-threaded programs. (English) Zbl 1478.68046 Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12224, 376-400 (2020). MSC: 68N19 68Q60 PDFBibTeX XMLCite \textit{D. Schemmel} et al., Lect. Notes Comput. Sci. 12224, 376--400 (2020; Zbl 1478.68046) Full Text: DOI arXiv
Çirisci, Berk; Enea, Constantin; Farzan, Azadeh; Mutluergil, Suha Orhun Root causing linearizability violations. (English) Zbl 1478.68043 Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12224, 350-375 (2020). MSC: 68N19 68P05 68Q60 PDFBibTeX XMLCite \textit{B. Çirisci} et al., Lect. Notes Comput. Sci. 12224, 350--375 (2020; Zbl 1478.68043) Full Text: DOI
Kragl, Bernhard; Qadeer, Shaz; Henzinger, Thomas A. Refinement for structured concurrent programs. (English) Zbl 1478.68044 Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12224, 275-298 (2020). MSC: 68N19 68Q60 PDFBibTeX XMLCite \textit{B. Kragl} et al., Lect. Notes Comput. Sci. 12224, 275--298 (2020; Zbl 1478.68044) Full Text: DOI
Nagar, Kartik; Mukherjee, Prasita; Jagannathan, Suresh Semantics, specification, and bounded verification of concurrent libraries in replicated systems. (English) Zbl 1478.68045 Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12224, 251-274 (2020). MSC: 68N19 68M14 68Q55 68Q60 PDFBibTeX XMLCite \textit{K. Nagar} et al., Lect. Notes Comput. Sci. 12224, 251--274 (2020; Zbl 1478.68045) Full Text: DOI arXiv
Fu, Peng; Kishida, Kohei; Selinger, Peter Linear dependent type theory for quantum programming languages: extended abstract. (English) Zbl 1502.68076 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 440-453 (2020). MSC: 68N19 03B38 18M05 68N15 68Q12 81P68 PDFBibTeX XMLCite \textit{P. Fu} et al., in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 440--453 (2020; Zbl 1502.68076) Full Text: DOI arXiv
Zhuo, Xilong; Zhang, Chenyi TFA: an efficient and precise virtual method call resolution for Java. (English) Zbl 1458.68036 Formal Asp. Comput. 32, No. 4-6, 395-416 (2020). MSC: 68N15 68N19 PDFBibTeX XMLCite \textit{X. Zhuo} and \textit{C. Zhang}, Formal Asp. Comput. 32, No. 4--6, 395--416 (2020; Zbl 1458.68036) Full Text: DOI
Doroshenko, A. Y.; Yatsenko, O. A. Formal methods of parallel software design automation. (English) Zbl 1463.68016 Dopov. Nats. Akad. Nauk Ukr., Mat. Pryr. Tekh. Nauky 2020, No. 6, 15-20 (2020). MSC: 68N30 68N19 68Q42 68W01 70-10 70F10 PDFBibTeX XMLCite \textit{A. Y. Doroshenko} and \textit{O. A. Yatsenko}, Dopov. Nats. Akad. Nauk Ukr., Mat. Pryr. Tekh. Nauky 2020, No. 6, 15--20 (2020; Zbl 1463.68016) Full Text: DOI
Belle, Vaishak; De Raedt, Luc Semiring programming: a semantic framework for generalized sum product problems. (English) Zbl 1490.68176 Int. J. Approx. Reasoning 126, 181-201 (2020). MSC: 68T01 68N19 68T27 PDFBibTeX XMLCite \textit{V. Belle} and \textit{L. De Raedt}, Int. J. Approx. Reasoning 126, 181--201 (2020; Zbl 1490.68176) Full Text: DOI arXiv Link
Cozman, Fabio Gagliardi; Mauá, Denis Deratani The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference. (English) Zbl 1490.68072 Int. J. Approx. Reasoning 125, 218-239 (2020). MSC: 68N17 68N19 68Q19 68Q25 68Q55 PDFBibTeX XMLCite \textit{F. G. Cozman} and \textit{D. D. Mauá}, Int. J. Approx. Reasoning 125, 218--239 (2020; Zbl 1490.68072) Full Text: DOI
Utrera, Gladys; Gil, Marisa; Martorell, Xavier A methodology approach to compare performance of parallel programming models for shared-memory architectures. (English) Zbl 1468.68035 Sergeyev, Yaroslav D. (ed.) et al., Numerical computations: theory and algorithms. Third international conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019. Revised selected papers. Part I. Cham: Springer. Lect. Notes Comput. Sci. 11973, 318-325 (2020). MSC: 68M20 68N19 PDFBibTeX XMLCite \textit{G. Utrera} et al., Lect. Notes Comput. Sci. 11973, 318--325 (2020; Zbl 1468.68035) Full Text: DOI Link
Holm, Håvard H.; Sætra, Martin L.; Brodtkorb, André R. Data assimilation for ocean drift trajectories using massive ensembles and GPUs. (English) Zbl 1454.65089 Klöfkorn, Robert (ed.) et al., Finite volumes for complex applications IX – methods, theoretical aspects, examples. FVCA 9, Bergen, Norway, June 15–19, 2020. In 2 volumes. Volume I and II. Cham: Springer. Springer Proc. Math. Stat. 323, 715-723 (2020). Reviewer: Abdallah Bradji (Annaba) MSC: 65M08 65N08 62M99 60G35 35L65 76B15 68N19 65Y10 65Y05 86A05 PDFBibTeX XMLCite \textit{H. H. Holm} et al., Springer Proc. Math. Stat. 323, 715--723 (2020; Zbl 1454.65089) Full Text: DOI Link
Zhao, Xin; Haller, Philipp Replicated data types that unify eventual consistency and observable atomic consistency. (English) Zbl 1451.68056 J. Log. Algebr. Methods Program. 114, Article ID 100561, 21 p. (2020). MSC: 68M14 03B70 68N19 68Q60 PDFBibTeX XMLCite \textit{X. Zhao} and \textit{P. Haller}, J. Log. Algebr. Methods Program. 114, Article ID 100561, 21 p. (2020; Zbl 1451.68056) Full Text: DOI
Tavares, Carlos A dynamic logic for QASM programs. (English) Zbl 1496.03136 Soares Barbosa, Luís (ed.) et al., Dynamic logic. New trends and applications. Second international workshop, DALI 2019, Porto, Portugal, October 7–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12005, 209-217 (2020). MSC: 03B70 03G12 68N19 81P68 PDFBibTeX XMLCite \textit{C. Tavares}, Lect. Notes Comput. Sci. 12005, 209--217 (2020; Zbl 1496.03136) Full Text: DOI Link
Dylus, Sandra; Christiansen, Jan; Teegen, Finn Implementing a library for probabilistic programming using non-strict non-determinism. (English) Zbl 1434.68062 Theory Pract. Log. Program. 20, No. 1, 147-175 (2020). MSC: 68N15 68N17 68N18 68N19 PDFBibTeX XMLCite \textit{S. Dylus} et al., Theory Pract. Log. Program. 20, No. 1, 147--175 (2020; Zbl 1434.68062) Full Text: DOI arXiv
Juma, Nahid; Dietl, Werner; Tripunitara, Mahesh A computational complexity analysis of tunable type inference for Generic Universe Types. (English) Zbl 1435.68059 Theor. Comput. Sci. 814, 189-209 (2020). MSC: 68N15 68N19 68Q17 68Q25 68R07 PDFBibTeX XMLCite \textit{N. Juma} et al., Theor. Comput. Sci. 814, 189--209 (2020; Zbl 1435.68059) Full Text: DOI
Castagna, Giuseppe Covariance and controvariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers). (English) Zbl 1528.68059 Log. Methods Comput. Sci. 16, No. 1, Paper No. 15, 58 p. (2020). MSC: 68N18 68N15 68N19 68Q55 PDFBibTeX XMLCite \textit{G. Castagna}, Log. Methods Comput. Sci. 16, No. 1, Paper No. 15, 58 p. (2020; Zbl 1528.68059) Full Text: arXiv
Henrio, Ludovic; Kessler, Christoph; Li, Lu Leveraging access mode declarations in a model for memory consistency in heterogeneous systems. (English) Zbl 1494.68043 J. Log. Algebr. Methods Program. 110, Article ID 100498, 17 p. (2020). MSC: 68N19 68M14 PDFBibTeX XMLCite \textit{L. Henrio} et al., J. Log. Algebr. Methods Program. 110, Article ID 100498, 17 p. (2020; Zbl 1494.68043) Full Text: DOI arXiv
Cruz-Filipe, Luís; Montesi, Fabrizio A core model for choreographic programming. (English) Zbl 1436.68078 Theor. Comput. Sci. 802, 38-66 (2020). MSC: 68N19 68Q85 PDFBibTeX XMLCite \textit{L. Cruz-Filipe} and \textit{F. Montesi}, Theor. Comput. Sci. 802, 38--66 (2020; Zbl 1436.68078) Full Text: DOI arXiv Link
de Vries, Folkert; Pérez, Jorge A. Reversible session-based concurrency in Haskell. (English) Zbl 1525.68015 Pałka, Michał (ed.) et al., Trends in functional programming. 19th international symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11457, 20-45 (2019). MSC: 68N18 68N15 68N19 PDFBibTeX XMLCite \textit{F. de Vries} and \textit{J. A. Pérez}, Lect. Notes Comput. Sci. 11457, 20--45 (2019; Zbl 1525.68015) Full Text: DOI
Kura, Satoshi; Urabe, Natsuki; Hasuo, Ichiro Tail probabilities for randomized program runtimes via martingales for higher moments. (English) Zbl 1527.68037 Vojnar, Tomáš (ed.) et al., Tools and algorithms for the construction and analysis of systems. 25th international conference, TACAS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 11428, 135-153 (2019). MSC: 68N19 60G48 68Q87 PDFBibTeX XMLCite \textit{S. Kura} et al., Lect. Notes Comput. Sci. 11428, 135--153 (2019; Zbl 1527.68037) Full Text: DOI arXiv
Ganjei, Zeinab; Rezine, Ahmed; Henrio, Ludovic; Eles, Petru; Peng, Zebo On reachability in parameterized phaser programs. (English) Zbl 1527.68128 Vojnar, Tomáš (ed.) et al., Tools and algorithms for the construction and analysis of systems. 25th international conference, TACAS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 11427, 299-315 (2019). MSC: 68Q60 68N19 PDFBibTeX XMLCite \textit{Z. Ganjei} et al., Lect. Notes Comput. Sci. 11427, 299--315 (2019; Zbl 1527.68128) Full Text: DOI arXiv
Chopra, Nikita; Pai, Rekha; D’Souza, Deepak Data races and static analysis for interrupt-driven kernels. (English) Zbl 1524.68063 Caires, Luís (ed.), Programming languages and systems. 28th European symposium on programming, ESOP 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11423, 697-723 (2019). MSC: 68N19 PDFBibTeX XMLCite \textit{N. Chopra} et al., Lect. Notes Comput. Sci. 11423, 697--723 (2019; Zbl 1524.68063) Full Text: DOI
Castellan, Simon; Paquet, Hugo Probabilistic programming inference via intensional semantics. (English) Zbl 1524.68054 Caires, Luís (ed.), Programming languages and systems. 28th European symposium on programming, ESOP 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11423, 322-349 (2019). MSC: 68N15 62F15 68N19 68Q55 PDFBibTeX XMLCite \textit{S. Castellan} and \textit{H. Paquet}, Lect. Notes Comput. Sci. 11423, 322--349 (2019; Zbl 1524.68054) Full Text: DOI
Downen, Paul; Sullivan, Zachary; Ariola, Zena M.; Peyton Jones, Simon Codata in action. (English) Zbl 1524.68083 Caires, Luís (ed.), Programming languages and systems. 28th European symposium on programming, ESOP 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11423, 119-146 (2019). MSC: 68N30 68N18 68N19 PDFBibTeX XMLCite \textit{P. Downen} et al., Lect. Notes Comput. Sci. 11423, 119--146 (2019; Zbl 1524.68083) Full Text: DOI
Kuru, Ismail; Gordon, Colin S. Safe deferred memory reclamation with types. (English) Zbl 1524.68093 Caires, Luís (ed.), Programming languages and systems. 28th European symposium on programming, ESOP 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11423, 88-116 (2019). MSC: 68N30 68N19 68Q55 PDFBibTeX XMLCite \textit{I. Kuru} and \textit{C. S. Gordon}, Lect. Notes Comput. Sci. 11423, 88--116 (2019; Zbl 1524.68093) Full Text: DOI arXiv