Goloubentsev, Dmitri; Lakshtanov, Evgeny Automatic adjoint differentiation for gradient descent and model calibration. (English) Zbl 07558070 Int. J. Wavelets Multiresolut. Inf. Process. 20, No. 3, Article ID 2040004, 6 p. (2022). MSC: 68N19 68Q17 65Y05 68W10 PDF BibTeX XML Cite \textit{D. Goloubentsev} and \textit{E. Lakshtanov}, Int. J. Wavelets Multiresolut. Inf. Process. 20, No. 3, Article ID 2040004, 6 p. (2022; Zbl 07558070) Full Text: DOI OpenURL
Narsoo, Jeetendre; Sunhaloo, Sameer An object-oriented framework using design patterns for numerical option pricing. (English) Zbl 07546751 Palest. J. Math. 11, No. 1, 326-344 (2022). MSC: 91G20 68N19 PDF BibTeX XML Cite \textit{J. Narsoo} and \textit{S. Sunhaloo}, Palest. J. Math. 11, No. 1, 326--344 (2022; Zbl 07546751) Full Text: Link OpenURL
Siek, Konrad; Wojciechowski, Paweł T. Last-use opacity: a strong safety property for transactional memory with prerelease support. (English) Zbl 07546202 Distrib. Comput. 35, No. 3, 265-301 (2022). MSC: 68N19 68Q85 PDF BibTeX XML Cite \textit{K. Siek} and \textit{P. T. Wojciechowski}, Distrib. Comput. 35, No. 3, 265--301 (2022; Zbl 07546202) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{M. Ying} et al., Theor. Comput. Sci. 897, 164--184 (2022; Zbl 1478.68047) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{M. Alpuente} et al., J. Log. Algebr. Methods Program. 124, Article ID 100729, 29 p. (2022; Zbl 1477.68136) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{N. Yoshida} et al., Lect. Notes Comput. Sci. 12867, 18--35 (2021; Zbl 1487.68168) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \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 OpenURL
Cserép, Máté; Szendrei, Rudolf UML based modeling and code generation of network protocols. (English) Zbl 07444237 Ann. Univ. Sci. Budap. Rolando Eötvös, Sect. Comput. 52, 73-92 (2021). MSC: 68M12 68N19 PDF BibTeX XML Cite \textit{M. Cserép} and \textit{R. Szendrei}, Ann. Univ. Sci. Budap. Rolando Eötvös, Sect. Comput. 52, 73--92 (2021; Zbl 07444237) Full Text: Link OpenURL
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 PDF BibTeX XML Cite \textit{D. Dietsch} et al., Lect. Notes Comput. Sci. 12597, 174--195 (2021; Zbl 1472.68087) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{C. Peterson} et al., Lect. Notes Comput. Sci. 12597, 151--173 (2021; Zbl 1472.68092) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{H. Paquet}, Lect. Notes Comput. Sci. 12648, 519--547 (2021; Zbl 1473.68054) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{M. Moosbrugger} et al., Lect. Notes Comput. Sci. 12648, 491--518 (2021; Zbl 1473.68053) Full Text: DOI arXiv OpenURL
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 PDF BibTeX XML Cite \textit{C. Mak} et al., Lect. Notes Comput. Sci. 12648, 432--461 (2021; Zbl 1473.68048) Full Text: DOI arXiv OpenURL
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 PDF BibTeX XML Cite \textit{D. Lundén} et al., Lect. Notes Comput. Sci. 12648, 404--431 (2021; Zbl 1473.68038) Full Text: DOI arXiv OpenURL
Zimmer, Dirk Robust object-oriented formulation of directed thermofluid stream networks. (English) Zbl 07505749 Math. Comput. Model. Dyn. Syst. 26, No. 3, 204-233 (2020). MSC: 76M99 76B10 76-10 65Y10 68N19 PDF BibTeX XML Cite \textit{D. Zimmer}, Math. Comput. Model. Dyn. Syst. 26, No. 3, 204--233 (2020; Zbl 07505749) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{A. Trindade} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 324, 25--42 (2020; Zbl 1477.68073) Full Text: arXiv Link OpenURL
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 PDF BibTeX XML Cite \textit{J. Mackay} et al., Lect. Notes Comput. Sci. 12470, 125--144 (2020; Zbl 1476.68041) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{D. Janin}, Lect. Notes Comput. Sci. 12222, 180--203 (2020; Zbl 1475.68062) Full Text: DOI HAL OpenURL
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 PDF BibTeX XML Cite \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 OpenURL
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 PDF BibTeX XML Cite \textit{D. Schemmel} et al., Lect. Notes Comput. Sci. 12224, 376--400 (2020; Zbl 1478.68046) Full Text: DOI arXiv OpenURL
Ç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 PDF BibTeX XML Cite \textit{B. Çirisci} et al., Lect. Notes Comput. Sci. 12224, 350--375 (2020; Zbl 1478.68043) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{B. Kragl} et al., Lect. Notes Comput. Sci. 12224, 275--298 (2020; Zbl 1478.68044) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{K. Nagar} et al., Lect. Notes Comput. Sci. 12224, 251--274 (2020; Zbl 1478.68045) Full Text: DOI arXiv OpenURL
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 PDF BibTeX XML Cite \textit{X. Zhuo} and \textit{C. Zhang}, Formal Asp. Comput. 32, No. 4--6, 395--416 (2020; Zbl 1458.68036) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \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 OpenURL
Belle, Vaishak; De Raedt, Luc Semiring programming: a semantic framework for generalized sum product problems. (English) Zbl 07264289 Int. J. Approx. Reasoning 126, 181-201 (2020). MSC: 68T01 68N19 68T27 PDF BibTeX XML Cite \textit{V. Belle} and \textit{L. De Raedt}, Int. J. Approx. Reasoning 126, 181--201 (2020; Zbl 07264289) Full Text: DOI arXiv OpenURL
Cozman, Fabio Gagliardi; Mauá, Denis Deratani The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference. (English) Zbl 07264277 Int. J. Approx. Reasoning 125, 218-239 (2020). MSC: 68N17 68N19 68Q19 68Q25 68Q55 PDF BibTeX XML Cite \textit{F. G. Cozman} and \textit{D. D. Mauá}, Int. J. Approx. Reasoning 125, 218--239 (2020; Zbl 07264277) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{G. Utrera} et al., Lect. Notes Comput. Sci. 11973, 318--325 (2020; Zbl 1468.68035) Full Text: DOI Link OpenURL
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 PDF BibTeX XML Cite \textit{H. H. Holm} et al., Springer Proc. Math. Stat. 323, 715--723 (2020; Zbl 1454.65089) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \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 OpenURL
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 PDF BibTeX XML Cite \textit{S. Dylus} et al., Theory Pract. Log. Program. 20, No. 1, 147--175 (2020; Zbl 1434.68062) Full Text: DOI arXiv OpenURL
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 PDF BibTeX XML Cite \textit{N. Juma} et al., Theor. Comput. Sci. 814, 189--209 (2020; Zbl 1435.68059) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{L. Cruz-Filipe} and \textit{F. Montesi}, Theor. Comput. Sci. 802, 38--66 (2020; Zbl 1436.68078) Full Text: DOI arXiv Link OpenURL
Pollok, Alexander; Klöckner, Andreas; Zimmer, Dirk Psychological aspects of equation-based modelling. (English) Zbl 1485.93008 Math. Comput. Model. Dyn. Syst. 25, No. 2, 115-138 (2019). MSC: 93-04 93-08 68N99 PDF BibTeX XML Cite \textit{A. Pollok} et al., Math. Comput. Model. Dyn. Syst. 25, No. 2, 115--138 (2019; Zbl 1485.93008) Full Text: DOI OpenURL
Zhang, Bo; Debuhr, Jackson; Niedzielski, Drake; Mayolo, Silvio; Lu, Benzhuo; Sterling, Thomas DASHMM accelerated adaptive fast multipole Poisson-Boltzmann solver on distributed memory architecture. (English) Zbl 07417534 Commun. Comput. Phys. 25, No. 4, 1235-1258 (2019). MSC: 65-XX 68-XX 92C05 68N19 PDF BibTeX XML Cite \textit{B. Zhang} et al., Commun. Comput. Phys. 25, No. 4, 1235--1258 (2019; Zbl 07417534) Full Text: DOI arXiv OpenURL
Lamport, Leslie A new solution of Dijkstra’s concurrent programming problem. (English) Zbl 1448.68133 Malkhi, Dahlia (ed.), Concurrency. The works of Leslie Lamport. New York, NY: Association for Computing Machinery (ACM). ACM Books 29, 173-178 (2019). MSC: 68M14 68N19 68M15 PDF BibTeX XML Cite \textit{L. Lamport}, ACM Books 29, 173--178 (2019; Zbl 1448.68133) Full Text: DOI OpenURL
Golab, Wojciech; Ramaraju, Aditya Recoverable mutual exclusion. (English) Zbl 1451.68045 Distrib. Comput. 32, No. 6, 535-564 (2019). MSC: 68M14 68N19 68M15 68P05 68Q25 PDF BibTeX XML Cite \textit{W. Golab} and \textit{A. Ramaraju}, Distrib. Comput. 32, No. 6, 535--564 (2019; Zbl 1451.68045) Full Text: DOI OpenURL
Ortiz-Bernardin, A.; Alvarez, C.; Hitschfeld-Kahler, N.; Russo, A.; Silva-Valenzuela, R.; Olate-Sanzana, E. Veamy: an extensible object-oriented C++ library for the virtual element method. (English) Zbl 1442.65002 Numer. Algorithms 82, No. 4, 1189-1220 (2019). MSC: 65-04 65N30 65N50 35J05 74B99 PDF BibTeX XML Cite \textit{A. Ortiz-Bernardin} et al., Numer. Algorithms 82, No. 4, 1189--1220 (2019; Zbl 1442.65002) Full Text: DOI arXiv OpenURL
Benavides, Zachary; Vora, Keval; Gupta, Rajiv; Zhang, Xiangyu Annotation guided collection of context-sensitive parallel execution profiles. (English) Zbl 1425.68056 Form. Methods Syst. Des. 54, No. 3, 388-415 (2019). MSC: 68N19 PDF BibTeX XML Cite \textit{Z. Benavides} et al., Form. Methods Syst. Des. 54, No. 3, 388--415 (2019; Zbl 1425.68056) Full Text: DOI OpenURL
Bouajjani, Ahmed; Enea, Constantin; Lahiri, Shuvendu K. Abstract semantic diffing of evolving concurrent programs. (English) Zbl 1425.68063 Form. Methods Syst. Des. 54, No. 1, 4-26 (2019). MSC: 68N30 68N19 68Q55 PDF BibTeX XML Cite \textit{A. Bouajjani} et al., Form. Methods Syst. Des. 54, No. 1, 4--26 (2019; Zbl 1425.68063) Full Text: DOI HAL OpenURL
Boukaram, Wajih; Turkiyyah, George; Keyes, David Randomized GPU algorithms for the construction of hierarchical matrices from matrix-vector operations. (English) Zbl 07099326 SIAM J. Sci. Comput. 41, No. 4, C339-C366 (2019). MSC: 65Fxx 68N19 68W10 68W20 68W25 PDF BibTeX XML Cite \textit{W. Boukaram} et al., SIAM J. Sci. Comput. 41, No. 4, C339--C366 (2019; Zbl 07099326) Full Text: DOI OpenURL
Bradley, Andrew M.; Bosler, Peter A.; Guba, Oksana; Taylor, Mark A.; Barnett, Gregory A. Communication-efficient property preservation in tracer transport. (English) Zbl 1421.76168 SIAM J. Sci. Comput. 41, No. 3, C161-C193 (2019). MSC: 76M25 65Y05 65Y20 68N19 86-08 PDF BibTeX XML Cite \textit{A. M. Bradley} et al., SIAM J. Sci. Comput. 41, No. 3, C161--C193 (2019; Zbl 1421.76168) Full Text: DOI OpenURL
Boreale, Michele (ed.); Corradini, Flavio (ed.); Loreti, Michele (ed.); Pugliese, Rosario (ed.) Models, languages, and tools for concurrent and distributed programming. Essays dedicated to Rocco De Nicola on the occasion of his 65th birthday. (English) Zbl 1416.68004 Lecture Notes in Computer Science 11665. Cham: Springer (ISBN 978-3-030-21484-5/pbk; 978-3-030-21485-2/ebook). xiii, 498 p. (2019). MSC: 68-06 68N19 68Q85 00B25 00B30 PDF BibTeX XML Cite \textit{M. Boreale} (ed.) et al., Models, languages, and tools for concurrent and distributed programming. Essays dedicated to Rocco De Nicola on the occasion of his 65th birthday. Cham: Springer (2019; Zbl 1416.68004) Full Text: DOI OpenURL
Tabareau, Nicolas; Tanter, Éric Chemical foundations of distributed aspects. (English) Zbl 1451.68068 Distrib. Comput. 32, No. 3, 193-216 (2019). MSC: 68N19 68N15 68Q07 68Q10 PDF BibTeX XML Cite \textit{N. Tabareau} and \textit{É. Tanter}, Distrib. Comput. 32, No. 3, 193--216 (2019; Zbl 1451.68068) Full Text: DOI Link OpenURL
Ştefănescu, Andrei; Ciobâcă, Stefan; Mereuta, Radu; Moore, Brandon; Roşu, Grigore; Şerbănuṭă, Traian Florin All-path reachability logic. (English) Zbl 1421.68015 Log. Methods Comput. Sci. 15, No. 2, Paper No. 5, 23 p. (2019). MSC: 68N30 03B70 68N19 68Q55 68T15 PDF BibTeX XML Cite \textit{A. Ştefănescu} et al., Log. Methods Comput. Sci. 15, No. 2, Paper No. 5, 23 p. (2019; Zbl 1421.68015) Full Text: arXiv OpenURL
Gebhardt, Cristian Guillermo; Hofmeister, Benedikt; Hente, Christian; Rolfes, Raimund Nonlinear dynamics of slender structures: a new object-oriented framework. (English) Zbl 1468.74021 Comput. Mech. 63, No. 2, 219-252 (2019). MSC: 74H15 74K99 74E30 74S05 68N19 PDF BibTeX XML Cite \textit{C. G. Gebhardt} et al., Comput. Mech. 63, No. 2, 219--252 (2019; Zbl 1468.74021) Full Text: DOI OpenURL
Giannini, Paola; Servetto, Marco; Zucca, Elena; Cone, James Flexible recovery of uniqueness and immutability. (English) Zbl 1417.68032 Theor. Comput. Sci. 764, 145-172 (2019). MSC: 68N30 68N15 68N19 PDF BibTeX XML Cite \textit{P. Giannini} et al., Theor. Comput. Sci. 764, 145--172 (2019; Zbl 1417.68032) Full Text: DOI arXiv OpenURL
Kycia, R. A.; Chwastowski, J.; Staszewski, R.; Turnau, J. GenEx: a simple generator structure for exclusive processes in high energy collisions. (English) Zbl 1475.82028 Commun. Comput. Phys. 24, No. 3, 860-884 (2018). MSC: 82M31 65C05 65Y15 82-04 PDF BibTeX XML Cite \textit{R. A. Kycia} et al., Commun. Comput. Phys. 24, No. 3, 860--884 (2018; Zbl 1475.82028) Full Text: DOI arXiv OpenURL
Baldoni, Matteo; Baroglio, Cristina; Boissier, Olivier; Hübner, Jomi F.; Micalizio, Roberto Norm-aware and norm-oriented programming. (English) Zbl 1474.68387 Chopra, Amit (ed.) et al., Handbook of normative multiagent systems. London: College Publications. 231-248 (2018). MSC: 68T42 68N19 PDF BibTeX XML Cite \textit{M. Baldoni} et al., in: Handbook of normative multiagent systems. London: College Publications. 231--248 (2018; Zbl 1474.68387) OpenURL
Albert, Elvira; Gómez-Zamalloa, Miguel; Rubio, Albert; Sammartino, Matteo; Silva, Alexandra SDN-actors: modeling and verification of SDN programs. (English) Zbl 1460.68052 Havelund, Klaus (ed.) et al., Formal methods. 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10951, 550-567 (2018). MSC: 68Q60 68N19 PDF BibTeX XML Cite \textit{E. Albert} et al., Lect. Notes Comput. Sci. 10951, 550--567 (2018; Zbl 1460.68052) Full Text: DOI Link OpenURL
Zhang, Fuyuan; Zhao, Yongwang; Sanán, David; Liu, Yang; Tiu, Alwen; Lin, Shang-Wei; Sun, Jun Compositional reasoning for shared-variable concurrent programs. (English) Zbl 1460.68067 Havelund, Klaus (ed.) et al., Formal methods. 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10951, 523-541 (2018). MSC: 68Q60 68N19 68Q85 PDF BibTeX XML Cite \textit{F. Zhang} et al., Lect. Notes Comput. Sci. 10951, 523--541 (2018; Zbl 1460.68067) Full Text: DOI arXiv Link OpenURL
Sen, Alper; Kalaci, Onder Hybrid data race detection for multicore software. (English) Zbl 07299704 Comput. Inform. 37, No. 1, 186-212 (2018). MSC: 68N19 PDF BibTeX XML Cite \textit{A. Sen} and \textit{O. Kalaci}, Comput. Inform. 37, No. 1, 186--212 (2018; Zbl 07299704) Full Text: DOI OpenURL
Muscholl, Anca Automated synthesis: a distributed viewpoint. (English) Zbl 07278075 Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 93, Article 3, 5 p. (2018). MSC: 68N19 68M14 68W15 PDF BibTeX XML Cite \textit{A. Muscholl}, LIPIcs -- Leibniz Int. Proc. Inform. 93, Article 3, 5 p. (2018; Zbl 07278075) Full Text: DOI OpenURL
Lazić, Marijana; Konnov, Igor; Widder, Josef; Bloem, Roderick Synthesis of distributed algorithms with parameterized threshold guards. (English) Zbl 1487.68252 Aspnes, James (ed.) et al., 21st international conference on principles of distributed systems, OPODIS 2017, Lisboa, Portugal, December 18–20, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 95, Article 32, 20 p. (2018). MSC: 68W15 68M14 68M15 68N19 68Q60 PDF BibTeX XML Cite \textit{M. Lazić} et al., LIPIcs -- Leibniz Int. Proc. Inform. 95, Article 32, 20 p. (2018; Zbl 1487.68252) Full Text: DOI OpenURL
Ohkubo, Yuhi; Yokoyama, Tetsuo; Kanayama, Chishun Clean reversible simulations of ranking binary trees. (English) Zbl 1434.68749 Adamatzky, Andrew (ed.), Reversibility and universality. Essays presented to Kenichi Morita on the occasion of his 70th birthday. Cham: Springer. Emerg. Complex. Comput. 30, 243-267 (2018). MSC: 68W40 68N19 68P05 PDF BibTeX XML Cite \textit{Y. Ohkubo} et al., Emerg. Complex. Comput. 30, 243--267 (2018; Zbl 1434.68749) Full Text: DOI OpenURL
Raad, Azalea; Lahav, Ori; Vafeiadis, Viktor On parallel snapshot isolation and release/acquire consistency. (English) Zbl 1418.68064 Ahmed, Amal (ed.), Programming languages and systems. 27th European symposium on programming, ESOP 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10801, 940-967 (2018). MSC: 68N30 68N19 68Q60 PDF BibTeX XML Cite \textit{A. Raad} et al., Lect. Notes Comput. Sci. 10801, 940--967 (2018; Zbl 1418.68064) Full Text: DOI OpenURL
Franco, Juliana; Clebsch, Sylvan; Drossopoulou, Sophia; Vitek, Jan; Wrigstad, Tobias Correctness of a concurrent object collector for actor languages. (English) Zbl 1418.68040 Ahmed, Amal (ed.), Programming languages and systems. 27th European symposium on programming, ESOP 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10801, 885-911 (2018). MSC: 68N19 PDF BibTeX XML Cite \textit{J. Franco} et al., Lect. Notes Comput. Sci. 10801, 885--911 (2018; Zbl 1418.68040) Full Text: DOI OpenURL
Kappé, Tobias; Brunet, Paul; Silva, Alexandra; Zanasi, Fabio Concurrent Kleene algebra: free model and completeness. (English) Zbl 1422.68035 Ahmed, Amal (ed.), Programming languages and systems. 27th European symposium on programming, ESOP 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10801, 856-882 (2018). MSC: 68N30 68N19 68Q55 68Q85 PDF BibTeX XML Cite \textit{T. Kappé} et al., Lect. Notes Comput. Sci. 10801, 856--882 (2018; Zbl 1422.68035) Full Text: DOI arXiv OpenURL
Viering, Malte; Chen, Tzu-Chun; Eugster, Patrick; Hu, Raymond; Ziarek, Lukasz A typing discipline for statically verified crash failure handling in distributed systems. (English) Zbl 1418.68019 Ahmed, Amal (ed.), Programming languages and systems. 27th European symposium on programming, ESOP 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10801, 799-826 (2018). MSC: 68M14 68M15 68N19 68Q60 PDF BibTeX XML Cite \textit{M. Viering} et al., Lect. Notes Comput. Sci. 10801, 799--826 (2018; Zbl 1418.68019) Full Text: DOI OpenURL
Gommerstadt, Hannah; Jia, Limin; Pfenning, Frank Session-typed concurrent contracts. (English) Zbl 1418.68025 Ahmed, Amal (ed.), Programming languages and systems. 27th European symposium on programming, ESOP 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10801, 771-798 (2018). MSC: 68N15 68N19 PDF BibTeX XML Cite \textit{H. Gommerstadt} et al., Lect. Notes Comput. Sci. 10801, 771--798 (2018; Zbl 1418.68025) Full Text: DOI OpenURL
Abdulla, Parosh Aziz; Jonsson, Bengt; Trinh, Cong Quy Fragment abstraction for concurrent shape analysis. (English) Zbl 1418.68124 Ahmed, Amal (ed.), Programming languages and systems. 27th European symposium on programming, ESOP 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10801, 442-471 (2018). MSC: 68Q60 68N19 68P05 68Q85 PDF BibTeX XML Cite \textit{P. A. Abdulla} et al., Lect. Notes Comput. Sci. 10801, 442--471 (2018; Zbl 1418.68124) Full Text: DOI OpenURL
Hamin, Jafar; Jacobs, Bart Deadlock-free monitors. (English) Zbl 1418.68056 Ahmed, Amal (ed.), Programming languages and systems. 27th European symposium on programming, ESOP 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10801, 415-441 (2018). MSC: 68N30 68N19 68T15 PDF BibTeX XML Cite \textit{J. Hamin} and \textit{B. Jacobs}, Lect. Notes Comput. Sci. 10801, 415--441 (2018; Zbl 1418.68056) Full Text: DOI OpenURL
Le, Xuan-Bach; Hobor, Aquinas Logical reasoning for disjoint permissions. (English) Zbl 1418.68059 Ahmed, Amal (ed.), Programming languages and systems. 27th European symposium on programming, ESOP 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10801, 385-414 (2018). MSC: 68N30 03B70 68N19 PDF BibTeX XML Cite \textit{X.-B. Le} and \textit{A. Hobor}, Lect. Notes Comput. Sci. 10801, 385--414 (2018; Zbl 1418.68059) Full Text: DOI OpenURL
Svendsen, Kasper; Pichon-Pharabod, Jean; Doko, Marko; Lahav, Ori; Vafeiadis, Viktor A separation logic for a promising semantics. (English) Zbl 1422.68037 Ahmed, Amal (ed.), Programming languages and systems. 27th European symposium on programming, ESOP 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10801, 357-384 (2018). MSC: 68N30 03B70 68N19 68Q55 PDF BibTeX XML Cite \textit{K. Svendsen} et al., Lect. Notes Comput. Sci. 10801, 357--384 (2018; Zbl 1422.68037) Full Text: DOI OpenURL
Riguzzi, Fabrizio Foundations of probabilistic logic programming. Languages, semantics, inference and learning. (English) Zbl 1420.68003 River Publishers Series in Software Engineering. Gistrup: River Publishers (ISBN 978-87-7022-018-7/hbk; 978-87-7022-017-0/ebook). xxxiii, 387 p. (2018). MSC: 68-02 68N17 68N19 PDF BibTeX XML Cite \textit{F. Riguzzi}, Foundations of probabilistic logic programming. Languages, semantics, inference and learning. Gistrup: River Publishers (2018; Zbl 1420.68003) OpenURL
López-Fraguas, Francisco J.; Montenegro, Manuel; Suárez-García, Gorka Polymorphic success types for Erlang. (English) Zbl 1415.68056 Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 515-533 (2018). MSC: 68N15 68N18 68N19 PDF BibTeX XML Cite \textit{F. J. López-Fraguas} et al., EPiC Ser. Comput. 57, 515--533 (2018; Zbl 1415.68056) Full Text: DOI OpenURL
Areias, Miguel; Rocha, Ricardo Table space designs for implicit and explicit concurrent tabled evaluation. (English) Zbl 1452.68035 Theory Pract. Log. Program. 18, No. 5-6, 950-992 (2018). MSC: 68N17 68N19 PDF BibTeX XML Cite \textit{M. Areias} and \textit{R. Rocha}, Theory Pract. Log. Program. 18, No. 5--6, 950--992 (2018; Zbl 1452.68035) Full Text: DOI arXiv OpenURL
Frühwirth, Thom Parallelism, concurrency and distribution in constraint handling rules: a survey. (English) Zbl 1452.68042 Theory Pract. Log. Program. 18, No. 5-6, 759-805 (2018). MSC: 68N19 68N17 68Q10 68Q42 68Q85 PDF BibTeX XML Cite \textit{T. Frühwirth}, Theory Pract. Log. Program. 18, No. 5--6, 759--805 (2018; Zbl 1452.68042) Full Text: DOI arXiv OpenURL
Caballero, Rafael; Martin-Martin, Enrique; Riesco, Adrián; Tamarit, Salvador Declarative debugging of concurrent Erlang programs. (English) Zbl 1400.68052 J. Log. Algebr. Methods Program. 101, 22-41 (2018). MSC: 68N19 68Q85 PDF BibTeX XML Cite \textit{R. Caballero} et al., J. Log. Algebr. Methods Program. 101, 22--41 (2018; Zbl 1400.68052) Full Text: DOI OpenURL
Gall, Daniel; Frühwirth, Thom An operational semantics for the cognitive architecture ACT-R and its translation to constraint handling rules. (English) Zbl 1407.68094 ACM Trans. Comput. Log. 19, No. 3, Article No. 22, 42 p. (2018). MSC: 68N19 68Q55 91E10 PDF BibTeX XML Cite \textit{D. Gall} and \textit{T. Frühwirth}, ACM Trans. Comput. Log. 19, No. 3, Article No. 22, 42 p. (2018; Zbl 1407.68094) Full Text: DOI arXiv OpenURL
Kutepov, V. P. Models and languages for description of parallel processes. (English. Russian original) Zbl 1484.68142 J. Comput. Syst. Sci. Int. 57, No. 3, 471-481 (2018); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2018, No. 3, 116-127 (2018). MSC: 68Q85 68N19 68M14 PDF BibTeX XML Cite \textit{V. P. Kutepov}, J. Comput. Syst. Sci. Int. 57, No. 3, 471--481 (2018; Zbl 1484.68142); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2018, No. 3, 116--127 (2018) Full Text: DOI OpenURL
Sagebaum, Max; Albring, T.; Gauger, N. R. Expression templates for primal value taping in the reverse mode of algorithmic differentiation. (English) Zbl 1401.65164 Optim. Methods Softw. 33, No. 4-6, 1207-1231 (2018). MSC: 65Y20 68N19 68N30 68Q25 PDF BibTeX XML Cite \textit{M. Sagebaum} et al., Optim. Methods Softw. 33, No. 4--6, 1207--1231 (2018; Zbl 1401.65164) Full Text: DOI OpenURL
Castegren, Elias; Wallin, Joel; Wrigstad, Tobias Bestow and atomic: concurrent programming using isolation, delegation and grouping. (English) Zbl 1400.68053 J. Log. Algebr. Methods Program. 100, 130-151 (2018). MSC: 68N19 68Q85 PDF BibTeX XML Cite \textit{E. Castegren} et al., J. Log. Algebr. Methods Program. 100, 130--151 (2018; Zbl 1400.68053) Full Text: DOI arXiv OpenURL
Lanese, Ivan; Nishida, Naoki; Palacios, Adrián; Vidal, Germán A theory of reversibility for Erlang. (English) Zbl 1400.68046 J. Log. Algebr. Methods Program. 100, 71-97 (2018). MSC: 68N15 68N18 68N19 PDF BibTeX XML Cite \textit{I. Lanese} et al., J. Log. Algebr. Methods Program. 100, 71--97 (2018; Zbl 1400.68046) Full Text: DOI arXiv Link OpenURL
Bettini, Lorenzo; Bono, Viviana; Dezani-Ciancaglini, Mariangiola; Giannini, Paola; Venneri, Betti Java & lambda: a featherweight story. (English) Zbl 1398.68079 Log. Methods Comput. Sci. 14, No. 3, Paper No. 17, 24 p. (2018). MSC: 68N15 68N18 68N19 PDF BibTeX XML Cite \textit{L. Bettini} et al., Log. Methods Comput. Sci. 14, No. 3, Paper No. 17, 24 p. (2018; Zbl 1398.68079) Full Text: DOI arXiv OpenURL
Atkinson, Timothy; Plump, Detlef; Stepney, Susan Probabilistic graph programs for randomised and evolutionary algorithms. (English) Zbl 1394.68050 Lambers, Leen (ed.) et al., Graph transformation. 11th international conference, ICGT 2018, held as part of STAF 2018, Toulouse, France, June 25–26, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-92990-3/pbk; 978-3-319-92991-0/ebook). Lecture Notes in Computer Science 10887, 63-78 (2018). MSC: 68N15 68N19 68T20 68W20 PDF BibTeX XML Cite \textit{T. Atkinson} et al., Lect. Notes Comput. Sci. 10887, 63--78 (2018; Zbl 1394.68050) Full Text: DOI Link OpenURL
Birkisson, Ásgeir Automatic reformulation of ODEs to systems of first-order equations. (English) Zbl 1484.65166 ACM Trans. Math. Softw. 44, No. 3, Article No. 31, 18 p. (2018). MSC: 65L99 65L05 PDF BibTeX XML Cite \textit{Á. Birkisson}, ACM Trans. Math. Softw. 44, No. 3, Article No. 31, 18 p. (2018; Zbl 1484.65166) Full Text: DOI OpenURL
Keller, Gabriele (ed.); Henglein, Fritz (ed.) Editorial for the special issue on parallel and concurrent functional programming. (English) Zbl 1475.00057 J. Funct. Program. 28, Paper No. e6, 2 p. (2018). MSC: 00B15 68-06 68N18 68N19 PDF BibTeX XML Cite \textit{G. Keller} (ed.) and \textit{F. Henglein} (ed.), J. Funct. Program. 28, Paper No. e6, 2 p. (2018; Zbl 1475.00057) Full Text: DOI OpenURL
Swords, Cameron; Sabry, Amr; Tobin-Hochstadt, Sam An extended account of contract monitoring strategies as patterns of communication. (English) Zbl 1476.68055 J. Funct. Program. 28, Paper No. e4, 47 p. (2018). MSC: 68N18 68N19 PDF BibTeX XML Cite \textit{C. Swords} et al., J. Funct. Program. 28, Paper No. e4, 47 p. (2018; Zbl 1476.68055) Full Text: DOI OpenURL
Haller, Philipp; Miller, Heather; Müller, Normen A programming model and foundation for lineage-based distributed computation. (English) Zbl 1476.68057 J. Funct. Program. 28, Paper No. e7, 48 p. (2018). MSC: 68N19 68N18 68T09 PDF BibTeX XML Cite \textit{P. Haller} et al., J. Funct. Program. 28, Paper No. e7, 48 p. (2018; Zbl 1476.68057) Full Text: DOI OpenURL
Kennedy, Andrew J.; Russo, Claudio V. Transposing G to \(\text{C}^{\sharp}\): expressivity of generalized algebraic data types in an object-oriented language. (English) Zbl 1397.68025 Theor. Comput. Sci. 741, 3-18 (2018). MSC: 68N15 68N19 68Q65 PDF BibTeX XML Cite \textit{A. J. Kennedy} and \textit{C. V. Russo}, Theor. Comput. Sci. 741, 3--18 (2018; Zbl 1397.68025) Full Text: DOI OpenURL
Lesage, Benjamin; Griffin, David; Altmeyer, Sebastian; Cucu-Grosjean, Liliana; Davis, Robert I. On the analysis of random replacement caches using static probabilistic timing methods for multi-path programs. (English) Zbl 1484.68035 Real-Time Syst. 54, No. 2, 307-388 (2018). MSC: 68M20 68N19 PDF BibTeX XML Cite \textit{B. Lesage} et al., Real-Time Syst. 54, No. 2, 307--388 (2018; Zbl 1484.68035) Full Text: DOI OpenURL
El-Hokayem, Antoine; Falcone, Yliès; Jaber, Mohamad Modularizing behavioral and architectural crosscutting concerns in formal component-based systems – application to the behavior interaction priority framework. (English) Zbl 1395.68092 J. Log. Algebr. Methods Program. 99, 143-177 (2018). MSC: 68N30 68N19 PDF BibTeX XML Cite \textit{A. El-Hokayem} et al., J. Log. Algebr. Methods Program. 99, 143--177 (2018; Zbl 1395.68092) Full Text: DOI arXiv OpenURL
Hainry, Emmanuel; Péchoux, Romain A type-based complexity analysis of object oriented programs. (English) Zbl 1395.68087 Inf. Comput. 261, Part 1, 78-115 (2018). MSC: 68N19 68Q25 PDF BibTeX XML Cite \textit{E. Hainry} and \textit{R. Péchoux}, Inf. Comput. 261, Part 1, 78--115 (2018; Zbl 1395.68087) Full Text: DOI arXiv OpenURL
Tian, Cong (ed.); Nagoya, Fumiko (ed.); Liu, Shaoying (ed.); Duan, Zhenhua (ed.) Structured object-oriented formal language and method. 7th international workshop, SOFL+MSVL 2017, Xi’an, China, November 16, 2017. Revised selected papers. (English) Zbl 1384.68007 Lecture Notes in Computer Science 10795. Cham: Springer (ISBN 978-3-319-90103-9/pbk; 978-3-319-90104-6/ebook). x, 219 p. (2018). MSC: 68-06 68N15 68N19 00B25 PDF BibTeX XML Cite \textit{C. Tian} (ed.) et al., Structured object-oriented formal language and method. 7th international workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017. Revised selected papers. Cham: Springer (2018; Zbl 1384.68007) Full Text: DOI OpenURL
Czaja, Ludwik A protocol of mutual exclusion for DSM based on vectors of global timestamps. (English) Zbl 1386.68021 Fundam. Inform. 157, No. 4, 359-370 (2018). MSC: 68M14 68N19 PDF BibTeX XML Cite \textit{L. Czaja}, Fundam. Inform. 157, No. 4, 359--370 (2018; Zbl 1386.68021) Full Text: DOI OpenURL
Clote, Peter; Bayegan, Amir H. RNA folding kinetics using Monte Carlo and Gillespie algorithms. (English) Zbl 1392.92066 J. Math. Biol. 76, No. 5, 1195-1227 (2018). MSC: 92D20 60J22 68N19 65C05 PDF BibTeX XML Cite \textit{P. Clote} and \textit{A. H. Bayegan}, J. Math. Biol. 76, No. 5, 1195--1227 (2018; Zbl 1392.92066) Full Text: DOI arXiv OpenURL
Schmidt, Stephan; Schütte, Maria; Walther, Andrea Efficient numerical solution of geometric inverse problems involving Maxwell’s equations using shape derivatives and automatic code generation. (English) Zbl 1402.65104 SIAM J. Sci. Comput. 40, No. 2, B405-B428 (2018). Reviewer: Luis Filipe Pinheiro de Castro (Aveiro) MSC: 65M32 65M25 65K10 68N19 35Q61 35R30 78M50 49Q10 78A25 PDF BibTeX XML Cite \textit{S. Schmidt} et al., SIAM J. Sci. Comput. 40, No. 2, B405--B428 (2018; Zbl 1402.65104) Full Text: DOI OpenURL
Walker, Shawn W. FELICITY: a Matlab/C++ toolbox for developing finite element methods and simulation modeling. (English) Zbl 1481.65192 SIAM J. Sci. Comput. 40, No. 2, C234-C257 (2018). MSC: 65M60 65N30 65-04 65Y15 68N19 68N20 PDF BibTeX XML Cite \textit{S. W. Walker}, SIAM J. Sci. Comput. 40, No. 2, C234--C257 (2018; Zbl 1481.65192) Full Text: DOI OpenURL
Agrawal, Kunal; Devietti, Joseph; Fineman, Jeremy T.; Lee, I-Ting Angelina; Utterback, Robert; Xu, Changming Race detection and reachability in nearly series-parallel DAGs. (English) Zbl 1403.68043 Czumaj, Artur (ed.), Proceedings of the 29th annual ACM-SIAM symposium on discrete algorithms, SODA 2018, New Orleans, LA, USA, January 7–10, 2018. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-61197-503-1/ebook). 156-171 (2018). MSC: 68P05 68M14 68N19 68R10 PDF BibTeX XML Cite \textit{K. Agrawal} et al., in: Proceedings of the 29th annual ACM-SIAM symposium on discrete algorithms, SODA 2018, New Orleans, LA, USA, January 7--10, 2018. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM). 156--171 (2018; Zbl 1403.68043) Full Text: Link OpenURL
Carbone, Marco; Montesi, Fabrizio; Schürmann, Carsten Choreographies, logically. (English) Zbl 1423.68304 Distrib. Comput. 31, No. 1, 51-67 (2018). MSC: 68Q85 03F52 68N19 PDF BibTeX XML Cite \textit{M. Carbone} et al., Distrib. Comput. 31, No. 1, 51--67 (2018; Zbl 1423.68304) Full Text: DOI Link OpenURL
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Bouajjani, Ahmed; Ngo, Tuan Phong A load-buffer semantics for total store ordering. (English) Zbl 1459.68038 Log. Methods Comput. Sci. 14, No. 1, Paper No. 9, 46 p. (2018). MSC: 68N30 68N19 68Q55 68Q60 PDF BibTeX XML Cite \textit{P. A. Abdulla} et al., Log. Methods Comput. Sci. 14, No. 1, Paper No. 9, 46 p. (2018; Zbl 1459.68038) Full Text: DOI arXiv OpenURL
Weston, Toby Scala for Java developers. A practical primer. (English) Zbl 1382.68005 New York, NY: Springer/Apress (ISBN 978-1-4842-3107-4/pbk; 978-1-4842-3108-1/ebook). xxi, 245 p. (2018). Reviewer: Irina Ioana Mohorianu (Norwich) MSC: 68-01 68N15 68N18 68N19 PDF BibTeX XML Cite \textit{T. Weston}, Scala for Java developers. A practical primer. New York, NY: Springer/Apress (2018; Zbl 1382.68005) Full Text: DOI OpenURL
Cruz-Filipe, Luís; Montesi, Fabrizio Procedural choreographic programming. (English) Zbl 07542237 Bouajjani, Ahmed (ed.) et al., Formal techniques for distributed objects, components, and systems. 37th IFIP WG 6.1 international conference, FORTE 2017, held as part of the 12th international federated conference on distributed computing techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10321, 92-107 (2017). MSC: 68N19 68Q85 PDF BibTeX XML Cite \textit{L. Cruz-Filipe} and \textit{F. Montesi}, Lect. Notes Comput. Sci. 10321, 92--107 (2017; Zbl 07542237) Full Text: DOI OpenURL
Cano, Mauricio; Arias, Jaime; Pérez, Jorge A. Session-based concurrency, reactively. (English) Zbl 07542236 Bouajjani, Ahmed (ed.) et al., Formal techniques for distributed objects, components, and systems. 37th IFIP WG 6.1 international conference, FORTE 2017, held as part of the 12th international federated conference on distributed computing techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10321, 74-91 (2017). MSC: 68N19 68Q85 PDF BibTeX XML Cite \textit{M. Cano} et al., Lect. Notes Comput. Sci. 10321, 74--91 (2017; Zbl 07542236) Full Text: DOI OpenURL
Armstrong, Alasdair; Dongol, Brijesh; Doherty, Simon Proving opacity via linearizability: a sound and complete method. (English) Zbl 07542234 Bouajjani, Ahmed (ed.) et al., Formal techniques for distributed objects, components, and systems. 37th IFIP WG 6.1 international conference, FORTE 2017, held as part of the 12th international federated conference on distributed computing techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10321, 50-66 (2017). MSC: 68Q60 68M14 68N19 68V20 PDF BibTeX XML Cite \textit{A. Armstrong} et al., Lect. Notes Comput. Sci. 10321, 50--66 (2017; Zbl 07542234) Full Text: DOI OpenURL
Armstrong, Alasdair; Dongol, Brijesh Modularising opacity verification for hybrid transactional memory. (English) Zbl 07542233 Bouajjani, Ahmed (ed.) et al., Formal techniques for distributed objects, components, and systems. 37th IFIP WG 6.1 international conference, FORTE 2017, held as part of the 12th international federated conference on distributed computing techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10321, 33-49 (2017). MSC: 68Q60 68M14 68N19 68V20 PDF BibTeX XML Cite \textit{A. Armstrong} and \textit{B. Dongol}, Lect. Notes Comput. Sci. 10321, 33--49 (2017; Zbl 07542233) Full Text: DOI OpenURL
Willsey, Max; Prabhu, Rokhini; Pfenning, Frank Design and implementation of concurrent C0. (English) Zbl 1483.68069 Cervesato, Iliano (ed.) et al., Proceedings of the fourth international workshop on linearity, LINEARITY 2016, Porto, Portugal, June 25, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 238, 73-82 (2017). MSC: 68N19 68N15 68Q85 PDF BibTeX XML Cite \textit{M. Willsey} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 238, 73--82 (2017; Zbl 1483.68069) Full Text: arXiv Link OpenURL
Silva, Miguel; Florido, Mário; Pfenning, Frank Non-blocking concurrent imperative programming with session types. (English) Zbl 1483.68068 Cervesato, Iliano (ed.) et al., Proceedings of the fourth international workshop on linearity, LINEARITY 2016, Porto, Portugal, June 25, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 238, 64-72 (2017). MSC: 68N19 68N15 68Q55 68Q85 PDF BibTeX XML Cite \textit{M. Silva} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 238, 64--72 (2017; Zbl 1483.68068) Full Text: arXiv Link OpenURL
Xu, Qingguo; Miao, Huaikou; de Simone, Robert; DeAntoni, Julien Instant-based and state-based analysis of infinite logical clock. (English) Zbl 1461.68123 Liu, Shaoying (ed.) et al., Structured object-oriented formal language and method. 6th international workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10189, 32-51 (2017). MSC: 68Q60 68N15 68N19 PDF BibTeX XML Cite \textit{Q. Xu} et al., Lect. Notes Comput. Sci. 10189, 32--51 (2017; Zbl 1461.68123) Full Text: DOI OpenURL