Yoshida, Ruriko Linear algebra and its applications with R (to appear). (English) Zbl 07304713 Textbooks in Mathematics. Boca Raton, FL: CRC Press (ISBN 978-0-367-48684-6/hbk). 440 p. (2021). MSC: 00A06 15-01 15Axx 62-04 62Hxx 62Rxx PDF BibTeX XML Cite \textit{R. Yoshida}, Linear algebra and its applications with R (to appear). Boca Raton, FL: CRC Press (2021; Zbl 07304713)
Lawler, Gregory F. Introduction to stochastic calculus with applications (to appear). (English) Zbl 06255382 Boca Raton, FL: CRC Press (ISBN 978-1-4665-7080-1/hbk). 250 p. (2021). MSC: 60-01 60A05 00A06 60-04 PDF BibTeX XML Cite \textit{G. F. Lawler}, Introduction to stochastic calculus with applications (to appear). Boca Raton, FL: CRC Press (2021; Zbl 06255382)
Cohen, Raymond C. Z.; Harrison, Simon M.; Cleary, Paul W. Dive mechanic: bringing 3D virtual experimentation using biomechanical modelling to elite level diving with the Workspace workflow engine. (English) Zbl 07304425 Math. Comput. Simul. 175, 202-217 (2020). MSC: 92C10 92-08 PDF BibTeX XML Cite \textit{R. C. Z. Cohen} et al., Math. Comput. Simul. 175, 202--217 (2020; Zbl 07304425) Full Text: DOI
Zhang, Yun; Liu, Jiakun; Xia, Xin; Wu, Minghui; Yan, Hui Research progress on software bug localization technology based on information retrieval. (Chinese. English summary) Zbl 07295747 J. Softw. 31, No. 8, 2432-2452 (2020). MSC: 68N30 PDF BibTeX XML Cite \textit{Y. Zhang} et al., J. Softw. 31, No. 8, 2432--2452 (2020; Zbl 07295747) Full Text: DOI
Zhang, Yang; Sun, Shixin; Zhang, Dongwen; Dong, Chunhao; Qiao, Liu Consistency detection method for concurrent code refactoring. (English) Zbl 07295309 J. Hebei Norm. Univ., Nat. Sci. Ed. 44, No. 3, 200-208 (2020). MSC: 68N30 PDF BibTeX XML Cite \textit{Y. Zhang} et al., J. Hebei Norm. Univ., Nat. Sci. Ed. 44, No. 3, 200--208 (2020; Zbl 07295309) Full Text: DOI
Kibzun, Andreĭ Ivanovich; Shalaev, Anton Sergeevich; Azanov, Valentin Mikhaĭlovich; Ignatov, Alekseĭ Nikolaevich Statistical analysis module for weight design of aircraft elements. (English) Zbl 07293400 Vestn. Yuzhno-Ural. Gos. Univ., Ser. Mat. Model. Program. 13, No. 3, 29-42 (2020). MSC: 62P30 62K20 62-08 PDF BibTeX XML Cite \textit{A. I. Kibzun} et al., Vestn. Yuzhno-Ural. Gos. Univ., Ser. Mat. Model. Program. 13, No. 3, 29--42 (2020; Zbl 07293400) Full Text: DOI MNR
Zimmermann, Karl-Heinz Computability. Models of computation and undecidability. (Berechenbarkeit. Berechnungsmodelle und Unentscheidbarkeit.) (German) Zbl 1452.68002 Essentials. Wiesbaden: Springer Spektrum (ISBN 978-3-658-31738-6/pbk; 978-3-658-31739-3/ebook). xiii, 67 p. (2020). MSC: 68-01 03-01 03D03 03D10 03D20 03D35 68N30 68Q04 PDF BibTeX XML Cite \textit{K.-H. Zimmermann}, Berechenbarkeit. Berechnungsmodelle und Unentscheidbarkeit. Wiesbaden: Springer Spektrum (2020; Zbl 1452.68002) Full Text: DOI
Johann, Patricia (ed.) Proceedings of the 36th conference on mathematical foundations of programming semantics, MFPS XXXVI, virtual conference, June 2–6, 2020. (English) Zbl 1451.68024 Electronic Notes in Theoretical Computer Science 352. Amsterdam: Elsevier. 304 p., electronic only, open access (2020). MSC: 68-06 68N30 68Q55 00B25 PDF BibTeX XML Cite \textit{P. Johann} (ed.), Proceedings of the 36th conference on mathematical foundations of programming semantics, MFPS XXXVI, virtual conference, June 2--6, 2020. Amsterdam: Elsevier (2020; Zbl 1451.68024) Full Text: Link
Saxena, Nitin (ed.); Simon, Sunil (ed.) 40th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2020, Goa, India, virtual conference, December 14–18, 2020. (English) Zbl 1451.68027 LIPIcs – Leibniz International Proceedings in Informatics 182. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-174-0). viii, 58 articles, not consecutively paged, electronic only, open access (2020). MSC: 68-06 68N30 68Qxx 00B25 PDF BibTeX XML Cite \textit{N. Saxena} (ed.) and \textit{S. Simon} (ed.), 40th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2020, Goa, India, virtual conference, December 14--18, 2020. Wadern: Schloss Dagstuhl -- Leibniz Zentrum für Informatik (2020; Zbl 1451.68027) Full Text: DOI Link
Doroshenko, A. Y.; Yatsenko, O. A. Formal methods of parallel software design automation. (English) Zbl 07277675 Dopov. Nats. Akad. Nauk Ukr., Mat. Pryr. Tekh. Nauky 2020, No. 6, 15-20 (2020). MSC: 68N30 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 07277675) Full Text: DOI
Alpuente, M.; Ballis, D.; Sapiña, J. Efficient safety enforcement for Maude programs via program specialization in the ÁTAME system. (English) Zbl 07268447 Math. Comput. Sci. 14, No. 3, 591-606 (2020). MSC: 68N30 PDF BibTeX XML Cite \textit{M. Alpuente} et al., Math. Comput. Sci. 14, No. 3, 591--606 (2020; Zbl 07268447) Full Text: DOI
Zhong, Wei; Tian, Zhou; Shou, Liefeng A large-scale and fast dimensional analysis method based on linear algebra and its applications in the field of explosion and impact engineering. (Chinese. English summary) Zbl 07267291 Math. Numer. Sin. 42, No. 2, 170-195 (2020). MSC: 00A06 15-04 PDF BibTeX XML Cite \textit{W. Zhong} et al., Math. Numer. Sin. 42, No. 2, 170--195 (2020; Zbl 07267291)
Guo, Jian; Ding, Jizheng; Zhu, Xiaoran Automated verification framework for mixed code in embedded real time operating system kernel. (Chinese. English summary) Zbl 07267130 J. Softw. 31, No. 5, 1353-1373 (2020). MSC: 68N30 68N25 PDF BibTeX XML Cite \textit{J. Guo} et al., J. Softw. 31, No. 5, 1353--1373 (2020; Zbl 07267130) Full Text: DOI
Bezem, Marc (ed.); Mahboubi, Assia (ed.) 25th international conference on types for proofs and programs. TYPES 2019, June 11–14, 2019, Oslo, Norway. Proceedings. (English) Zbl 1445.68007 LIPIcs – Leibniz International Proceedings in Informatics 175. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-158-0). ix, 10 articles, not consecutively paged, electronic only, open access (2020). MSC: 68-06 03B70 68N30 00B25 PDF BibTeX XML Cite \textit{M. Bezem} (ed.) and \textit{A. Mahboubi} (ed.), 25th international conference on types for proofs and programs. TYPES 2019, June 11--14, 2019, Oslo, Norway. Proceedings. Wadern: Schloss Dagstuhl -- Leibniz Zentrum für Informatik (2020; Zbl 1445.68007) Full Text: DOI Link
Péchoux, Romain; Perdrix, Simon; Rennela, Mathys; Zamdzhiev, Vladimir Quantum programming with inductive datatypes: causality and affine type theory. (English) Zbl 1442.68034 Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 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. 12077, 562-581 (2020). MSC: 68N30 68N15 68Q55 81P68 PDF BibTeX XML Cite \textit{R. Péchoux} et al., Lect. Notes Comput. Sci. 12077, 562--581 (2020; Zbl 1442.68034) Full Text: DOI
Bersani, Marcello M.; Soldo, Matteo; Menghi, Claudio; Pelliccione, Patrizio; Rossi, Matteo PuRSUE – from specification of robotic environments to synthesis of controllers. (English) Zbl 07245545 Formal Asp. Comput. 32, No. 2-3, 187-227 (2020). MSC: 68 PDF BibTeX XML Cite \textit{M. M. Bersani} et al., Formal Asp. Comput. 32, No. 2--3, 187--227 (2020; Zbl 07245545) Full Text: DOI
Mejhed Mkhinini, Meriem; Labbani-Narsis, Ouassila; Nicolle, Christophe Combining UML and ontology: an exploratory survey. (English) Zbl 07242599 Comput. Sci. Rev. 35, Article ID 100223, 14 p. (2020). MSC: 68-02 68 PDF BibTeX XML Cite \textit{M. Mejhed Mkhinini} et al., Comput. Sci. Rev. 35, Article ID 100223, 14 p. (2020; Zbl 07242599) Full Text: DOI
Belton, Robin; Brooks, Robyn; Ebli, Stefania; Fajstrup, Lisbeth; Fasy, Brittany Terese; Ray, Catherine; Sanderson, Nicole; Vidaurre, Elizabeth Towards directed collapsibility (research). (English) Zbl 1440.55013 Acu, Bahar (ed.) et al., Advances in mathematical sciences. AWM research symposium, Houston, TX, USA, April 6–7, 2019. Cham: Springer. Assoc. Women Math. Ser. 21, 255-271 (2020). MSC: 55P99 68Q85 68N30 55P10 57Q05 57Q10 PDF BibTeX XML Cite \textit{R. Belton} et al., Assoc. Women Math. Ser. 21, 255--271 (2020; Zbl 1440.55013) Full Text: DOI
Sundnes, Joakim Introduction to scientific programming with Python. (English) Zbl 1439.65001 Simula SpringerBriefs on Computing 6. Cham: Springer (ISBN 978-3-030-50355-0/pbk; 978-3-030-50356-7/ebook). xiv, 148 p., open access (2020). MSC: 65-01 65-04 68N15 00A06 PDF BibTeX XML Cite \textit{J. Sundnes}, Introduction to scientific programming with Python. Cham: Springer (2020; Zbl 1439.65001) Full Text: DOI
Grosshans, Nathan The power of programs over monoids in J. (English) Zbl 1437.68043 Leporati, Alberto (ed.) et al., Language and automata theory and applications. 14th international conference, LATA 2020, Milan, Italy, March 4–6, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12038, 315-327 (2020). MSC: 68N30 20M35 68Q70 PDF BibTeX XML Cite \textit{N. Grosshans}, Lect. Notes Comput. Sci. 12038, 315--327 (2020; Zbl 1437.68043) Full Text: DOI
Bhaskar, Siddharth; Chandlee, Jane; Jardine, Adam; Oakden, Christopher Boolean monadic recursive schemes as a logical characterization of the subsequential functions. (English) Zbl 1437.68042 Leporati, Alberto (ed.) et al., Language and automata theory and applications. 14th international conference, LATA 2020, Milan, Italy, March 4–6, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12038, 157-169 (2020). MSC: 68N30 03B70 03D05 68Q45 PDF BibTeX XML Cite \textit{S. Bhaskar} et al., Lect. Notes Comput. Sci. 12038, 157--169 (2020; Zbl 1437.68042) Full Text: DOI
Diskin, Zinovy; König, Harald; Lawford, Mark Correction to: “Multiple model synchronization with multiary delta lenses with amendment and K-Putput”. (English) Zbl 1448.68219 Formal Asp. Comput. 32, No. 1, 153 (2020). MSC: 68N30 PDF BibTeX XML Cite \textit{Z. Diskin} et al., Formal Asp. Comput. 32, No. 1, 153 (2020; Zbl 1448.68219) Full Text: DOI
Bowen, Jonathan P. Book review of: G. O’Regan, Concise guide to formal methods: theory, fundamentals and industry applications. (English) Zbl 1451.00026 Formal Asp. Comput. 32, No. 1, 147-148 (2020). MSC: 00A17 68-01 03B70 68N30 68Q45 68Q60 68V15 PDF BibTeX XML Cite \textit{J. P. Bowen}, Formal Asp. Comput. 32, No. 1, 147--148 (2020; Zbl 1451.00026) Full Text: DOI
Kuwajima, Hiroshi; Yasuoka, Hirotoshi; Nakae, Toshihiro Engineering problems in machine learning systems. (English) Zbl 07224993 Mach. Learn. 109, No. 5, 1103-1126 (2020). MSC: 68T05 PDF BibTeX XML Cite \textit{H. Kuwajima} et al., Mach. Learn. 109, No. 5, 1103--1126 (2020; Zbl 07224993) Full Text: DOI
Seidl, Helmut; Erhard, Julian; Vogler, Ralf Incremental abstract interpretation. (English) Zbl 1440.68047 Di Pierro, Alessandra (ed.) et al., From lambda calculus to cybersecurity through program analysis. Essays dedicated to Chris Hankin on the occasion of his retirement. Cham: Springer. Lect. Notes Comput. Sci. 12065, 132-148 (2020). MSC: 68N30 68Q55 PDF BibTeX XML Cite \textit{H. Seidl} et al., Lect. Notes Comput. Sci. 12065, 132--148 (2020; Zbl 1440.68047) Full Text: DOI
Al-Sibahi, Ahmad Salim; Jensen, Thomas; Møgelberg, Rasmus Ejlers; Wąsowski, Andrzej Galois connections for recursive types. (English) Zbl 1440.68042 Di Pierro, Alessandra (ed.) et al., From lambda calculus to cybersecurity through program analysis. Essays dedicated to Chris Hankin on the occasion of his retirement. Cham: Springer. Lect. Notes Comput. Sci. 12065, 105-131 (2020). MSC: 68N18 06A15 68N15 68N30 68Q42 PDF BibTeX XML Cite \textit{A. S. Al-Sibahi} et al., Lect. Notes Comput. Sci. 12065, 105--131 (2020; Zbl 1440.68042) Full Text: DOI
Diaconescu, Răzvan Introducing \(H\), an institution-based formal specification and verification language. (English) Zbl 07205367 Log. Univers. 14, No. 2, 259-277 (2020). MSC: 03C95 03C98 68N30 PDF BibTeX XML Cite \textit{R. Diaconescu}, Log. Univers. 14, No. 2, 259--277 (2020; Zbl 07205367) Full Text: DOI
Chockler, Hana; Kesseli, Pascal; Kroening, Daniel; Strichman, Ofer Learning the language of software errors. (English) Zbl 1437.68071 J. Artif. Intell. Res. (JAIR) 67, 881-903 (2020). MSC: 68Q32 68N30 68Q45 68Q60 PDF BibTeX XML Cite \textit{H. Chockler} et al., J. Artif. Intell. Res. (JAIR) 67, 881--903 (2020; Zbl 1437.68071) Full Text: DOI
Bohlender, Dimitri; Kowalewski, Stefan Leveraging Horn clause solving for compositional verification of PLC software. (English) Zbl 1435.68190 Discrete Event Dyn. Syst. 30, No. 1, 1-24 (2020). MSC: 68Q60 68N30 68Q55 93C85 PDF BibTeX XML Cite \textit{D. Bohlender} and \textit{S. Kowalewski}, Discrete Event Dyn. Syst. 30, No. 1, 1--24 (2020; Zbl 1435.68190) Full Text: DOI
Bry, François In praise of impredicativity: a contribution to the formalization of meta-programming. (English) Zbl 1434.68102 Theory Pract. Log. Program. 20, No. 1, 99-146 (2020). MSC: 68N30 03B70 PDF BibTeX XML Cite \textit{F. Bry}, Theory Pract. Log. Program. 20, No. 1, 99--146 (2020; Zbl 1434.68102) Full Text: DOI
Matos, Armando B.; Paolini, Luca; Roversi, Luca The fixed point problem of a simple reversible language. (English) Zbl 1433.68079 Theor. Comput. Sci. 813, 143-154 (2020). MSC: 68N15 03B70 68N30 68Q09 PDF BibTeX XML Cite \textit{A. B. Matos} et al., Theor. Comput. Sci. 813, 143--154 (2020; Zbl 1433.68079) Full Text: DOI
Hoshi, Takeo; Ogita, Takeshi; Ozaki, Katsuhisa; Terao, Takeshi An a posteriori verification method for generalized real-symmetric eigenvalue problems in large-scale electronic state calculations. (English) Zbl 1439.65046 J. Comput. Appl. Math. 376, Article ID 112830, 13 p. (2020). Reviewer: Georg Hebermehl (Berlin) MSC: 65F15 65G20 65Z05 68Q60 68N30 35J10 74S25 PDF BibTeX XML Cite \textit{T. Hoshi} et al., J. Comput. Appl. Math. 376, Article ID 112830, 13 p. (2020; Zbl 1439.65046) Full Text: DOI
Quirk, Thomas J. Excel 2019 for engineering statistics. A guide to solving practical problems. 2nd edition. (English) Zbl 1433.62011 Excel for Statistics. Cham: Springer (ISBN 978-3-030-39277-2/pbk: 978-3-030-39278-9/ebook). xvii, 250 p. (2020). MSC: 62-01 62-04 00A06 PDF BibTeX XML Cite \textit{T. J. Quirk}, Excel 2019 for engineering statistics. A guide to solving practical problems. 2nd edition. Cham: Springer (2020; Zbl 1433.62011) Full Text: DOI
Mantsivoda, Andreĭ Valer’evich; Ponomaryov, Denis Konstantinovich On termination of transactions over semantic document models. (English) Zbl 1432.68114 Izv. Irkutsk. Gos. Univ., Ser. Mat. 31, 111-131 (2020). MSC: 68P15 68N30 68Q85 PDF BibTeX XML Cite \textit{A. V. Mantsivoda} and \textit{D. K. Ponomaryov}, Izv. Irkutsk. Gos. Univ., Ser. Mat. 31, 111--131 (2020; Zbl 1432.68114) Full Text: DOI Link
Goncharov, Sergeĭ; Ospichev, Sergeĭ; Ponomaryov, Denis; Sviridenko, Dmitriĭ The expressiveness of looping terms in the semantic programming. (English) Zbl 1445.68053 Sib. Èlektron. Mat. Izv. 17, 380-394 (2020). Reviewer: Arne Meier (Hannover) MSC: 68N30 03B70 68Q17 68Q25 68Q60 PDF BibTeX XML Cite \textit{S. Goncharov} et al., Sib. Èlektron. Mat. Izv. 17, 380--394 (2020; Zbl 1445.68053) Full Text: DOI
Jiang, Jian-Min; Zhu, Huibiao; Li, Qin; Zhao, Yongxin; Zhang, Shi; Gong, Ping; Hong, Zhong Event-based functional decomposition. (English) Zbl 1435.68062 Inf. Comput. 271, Article ID 104484, 22 p. (2020). MSC: 68N30 PDF BibTeX XML Cite \textit{J.-M. Jiang} et al., Inf. Comput. 271, Article ID 104484, 22 p. (2020; Zbl 1435.68062) Full Text: DOI
Leivant, Daniel; Marion, Jean-Yves Primitive recursion in the abstract. (English) Zbl 1435.68064 Math. Struct. Comput. Sci. 30, No. 1, 33-43 (2020). MSC: 68N30 03C13 03D75 PDF BibTeX XML Cite \textit{D. Leivant} and \textit{J.-Y. Marion}, Math. Struct. Comput. Sci. 30, No. 1, 33--43 (2020; Zbl 1435.68064) Full Text: DOI
Ziemiański, Krzysztof Spaces of directed paths on pre-cubical sets II. (English) Zbl 1436.55014 J. Appl. Comput. Topol. 4, No. 1, 45-78 (2020). Reviewer: Philippe Gaucher (Paris) MSC: 55P15 55P35 68N30 68Q85 PDF BibTeX XML Cite \textit{K. Ziemiański}, J. Appl. Comput. Topol. 4, No. 1, 45--78 (2020; Zbl 1436.55014) Full Text: DOI
Neider, Daniel; Weinert, Alexander; Zimmermann, Martin Synthesizing optimally resilient controllers. (English) Zbl 1435.68066 Acta Inf. 57, No. 1-2, 195-221 (2020). MSC: 68N30 68Q60 91A80 PDF BibTeX XML Cite \textit{D. Neider} et al., Acta Inf. 57, No. 1--2, 195--221 (2020; Zbl 1435.68066) Full Text: DOI
Peleg, Hila; Itzhaky, Shachar; Shoham, Sharon; Yahav, Eran Programming by predicates: a formal model for interactive synthesis. (English) Zbl 1435.68067 Acta Inf. 57, No. 1-2, 165-193 (2020). MSC: 68N30 68Q60 PDF BibTeX XML Cite \textit{H. Peleg} et al., Acta Inf. 57, No. 1--2, 165--193 (2020; Zbl 1435.68067) Full Text: DOI
Di Pierro, Alessandra (ed.); Malacaria, Pasquale (ed.); Nagarajan, Rajagopal (ed.) From lambda calculus to cybersecurity through program analysis. Essays dedicated to Chris Hankin on the occasion of his retirement. (English) Zbl 1435.68026 Lecture Notes in Computer Science 12065. Cham: Springer (ISBN 978-3-030-41102-2/pbk; 978-3-030-41103-9/ebook). xiv, 293 p. (2020). MSC: 68-06 03B70 68M25 68N30 00B30 PDF BibTeX XML Cite \textit{A. Di Pierro} (ed.) et al., From lambda calculus to cybersecurity through program analysis. Essays dedicated to Chris Hankin on the occasion of his retirement. Cham: Springer (2020; Zbl 1435.68026) Full Text: DOI
Magrab, Edward B. Advanced engineering mathematics with Mathematica. (English) Zbl 07160318 Boca Raton, FL: CRC Press (ISBN 978-0-367-89325-5/hbk). 562 p. (2020). MSC: 65-04 65-02 00A79 00A06 34-01 35-01 42-01 15-01 44-01 PDF BibTeX XML Cite \textit{E. B. Magrab}, Advanced engineering mathematics with Mathematica. Boca Raton, FL: CRC Press (2020; Zbl 07160318)
Bergstra, J. A.; Middelburg, C. A. On the complexity of the correctness problem for non-zeroness test instruction sequences. (English) Zbl 1436.68079 Theor. Comput. Sci. 802, 1-18 (2020). MSC: 68N30 68Q25 PDF BibTeX XML Cite \textit{J. A. Bergstra} and \textit{C. A. Middelburg}, Theor. Comput. Sci. 802, 1--18 (2020; Zbl 1436.68079) Full Text: DOI
Bergstra, Jan A. Quantitative expressiveness of instruction sequence classes for computation on single bit registers. (English) Zbl 1445.68048 Comput. Sci. J. Mold. 27, No. 2, 131-161 (2019). MSC: 68N30 68Q25 PDF BibTeX XML Cite \textit{J. A. Bergstra}, Comput. Sci. J. Mold. 27, No. 2, 131--161 (2019; Zbl 1445.68048) Full Text: Link
Mendoza, Isela; Souza, Uéverton; Kalinowski, Marcos; Interian, Ruben; Murta, Leonado Gresta Paulino An efficient algorithm for combining verification and validation methods. (English) Zbl 1444.68054 Catania, Barbara (ed.) et al., SOFSEM 2019: theory and practice of computer science. 45th international conference on current trends in theory and practice of computer science, Nový Smokovec, Slovakia, January 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11376, 324-340 (2019). MSC: 68N30 68Q27 68W40 PDF BibTeX XML Cite \textit{I. Mendoza} et al., Lect. Notes Comput. Sci. 11376, 324--340 (2019; Zbl 1444.68054) Full Text: DOI
Li, Yi; Feng, Yong Detection of ranking functions of polynomial loop programs. (Chinese. English summary) Zbl 1449.68018 J. Softw. 30, No. 11, 3243-3258 (2019). MSC: 68N30 PDF BibTeX XML Cite \textit{Y. Li} and \textit{Y. Feng}, J. Softw. 30, No. 11, 3243--3258 (2019; Zbl 1449.68018) Full Text: DOI
Yuan, Mengting; Xie, Jing A review of type inference methods based on machine learning. (Chinese. English summary) Zbl 1449.68020 J. Guangzhou Univ., Nat. Sci. 18, No. 3, 85-92 (2019). MSC: 68N30 68T05 PDF BibTeX XML Cite \textit{M. Yuan} and \textit{J. Xie}, J. Guangzhou Univ., Nat. Sci. 18, No. 3, 85--92 (2019; Zbl 1449.68020)
Brázdil, Tomáš; Chatterjee, Krishnendu; Kučera, Antonín; Novotný, Petr; Velan, Dominik Deciding fast termination for probabilistic VASS with nondeterminism. (English) Zbl 1437.68127 Chen, Yu-Fang (ed.) et al., Automated technology for verification and analysis. 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11781, 462-478 (2019). MSC: 68Q85 68N30 68Q25 68Q87 PDF BibTeX XML Cite \textit{T. Brázdil} et al., Lect. Notes Comput. Sci. 11781, 462--478 (2019; Zbl 1437.68127) Full Text: DOI
Bonakdarpour, Borzoo; Finkbeiner, Bernd Program repair for hyperproperties. (English) Zbl 1437.68112 Chen, Yu-Fang (ed.) et al., Automated technology for verification and analysis. 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11781, 423-441 (2019). MSC: 68Q60 03B44 68N30 PDF BibTeX XML Cite \textit{B. Bonakdarpour} and \textit{B. Finkbeiner}, Lect. Notes Comput. Sci. 11781, 423--441 (2019; Zbl 1437.68112) Full Text: DOI
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Diep, Bui Phi; Holík, Lukáš; Janků, Petr Chain-free string constraints. (English) Zbl 1437.68131 Chen, Yu-Fang (ed.) et al., Automated technology for verification and analysis. 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11781, 277-293 (2019). MSC: 68R07 68N30 PDF BibTeX XML Cite \textit{P. A. Abdulla} et al., Lect. Notes Comput. Sci. 11781, 277--293 (2019; Zbl 1437.68131) Full Text: DOI
Bartocci, Ezio; Kovács, Laura; Stankovič, Miroslav Automatic generation of moment-based invariants for prob-solvable loops. (English) Zbl 1437.68041 Chen, Yu-Fang (ed.) et al., Automated technology for verification and analysis. 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11781, 255-276 (2019). MSC: 68N30 PDF BibTeX XML Cite \textit{E. Bartocci} et al., Lect. Notes Comput. Sci. 11781, 255--276 (2019; Zbl 1437.68041) Full Text: DOI
Pham, Long H.; Le, Quang Loc; Phan, Quoc-Sang; Sun, Jun; Qin, Shengchao Enhancing symbolic execution of heap-based programs with separation logic for test input generation. (English) Zbl 1437.68044 Chen, Yu-Fang (ed.) et al., Automated technology for verification and analysis. 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11781, 209-227 (2019). MSC: 68N30 03B70 68P05 PDF BibTeX XML Cite \textit{L. H. Pham} et al., Lect. Notes Comput. Sci. 11781, 209--227 (2019; Zbl 1437.68044) Full Text: DOI
De Angelis, Emanuele (ed.); Fedyukovich, Grigory (ed.); Tzevelekos, Nikos (ed.); Ulbrich, Mattias (ed.) Proceedings of the sixth workshop on Horn clauses for verification and synthesis, HCVS 2019, and the third workshop on program equivalence and relational reasoning, PERR 2019, Prague, Czech Republic, April 6–7, 2019. (English) Zbl 1441.68008 Electronic Proceedings in Theoretical Computer Science (EPTCS) 296. Waterloo: Open Publishing Association (OPA). 75 p., electronic only, open access (2019). MSC: 68-06 03B70 68N30 68Q60 00B25 PDF BibTeX XML Cite \textit{E. De Angelis} (ed.) et al., Proceedings of the sixth workshop on Horn clauses for verification and synthesis, HCVS 2019, and the third workshop on program equivalence and relational reasoning, PERR 2019, Prague, Czech Republic, April 6--7, 2019. Waterloo: Open Publishing Association (OPA) (2019; Zbl 1441.68008) Full Text: DOI Link
Knapp, Alexander; Cengarle, María Victoria Term charters. (English) Zbl 1444.68085 Fiadeiro, José Luiz (ed.) et al., Recent trends in algebraic development techniques. 24th IFIP WG 1.3 international workshop, WADT 2018, Egham, UK, July 2–5, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11563, 119-138 (2019). MSC: 68Q42 18C50 68N30 68Q65 PDF BibTeX XML Cite \textit{A. Knapp} and \textit{M. V. Cengarle}, Lect. Notes Comput. Sci. 11563, 119--138 (2019; Zbl 1444.68085) Full Text: DOI
Kahl, Wolfram; Zhao, Yuhang A flexible categorial formalisation of term graphs as directed hypergraphs. (English) Zbl 1444.68053 Fiadeiro, José Luiz (ed.) et al., Recent trends in algebraic development techniques. 24th IFIP WG 1.3 international workshop, WADT 2018, Egham, UK, July 2–5, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11563, 103-118 (2019). MSC: 68N30 05C65 68P05 68Q42 PDF BibTeX XML Cite \textit{W. Kahl} and \textit{Y. Zhao}, Lect. Notes Comput. Sci. 11563, 103--118 (2019; Zbl 1444.68053) Full Text: DOI
Hamana, Makoto How to prove decidability of equational theories with second-order computation analyser SOL. (English) Zbl 1442.68027 J. Funct. Program. 29, Paper No. e20, 53 p. (2019). MSC: 68N18 03B25 03B40 03B70 18M05 68N15 68N30 68V15 PDF BibTeX XML Cite \textit{M. Hamana}, J. Funct. Program. 29, Paper No. e20, 53 p. (2019; Zbl 1442.68027) Full Text: DOI
Kamburjan, Eduard Behavioral program logic. (English) Zbl 1435.68063 Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 391-408 (2019). MSC: 68N30 03B45 03B70 68Q60 PDF BibTeX XML Cite \textit{E. Kamburjan}, Lect. Notes Comput. Sci. 11714, 391--408 (2019; Zbl 1435.68063) Full Text: DOI
Echenim, Mnacho; Peltier, Nicolas; Sellami, Yanis Ilinva: using abduction to generate loop invariants. (English) Zbl 1435.68365 Herzig, Andreas (ed.) et al., Frontiers of combining systems. 12th international symposium, FroCoS 2019, London, UK, September 4–6, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11715, 77-93 (2019). MSC: 68V15 68N30 68Q60 PDF BibTeX XML Cite \textit{M. Echenim} et al., Lect. Notes Comput. Sci. 11715, 77--93 (2019; Zbl 1435.68365) Full Text: DOI
Turner, Raymond Correctness, explanation and intention. (English) Zbl 07199430 Manea, Florin (ed.) et al., Computing with foresight and industry. 15th conference on computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-22995-5/pbk; 978-3-030-22996-2/ebook). Lecture Notes in Computer Science 11558, 62-71 (2019). Reviewer: Haim Kilov (Millington) MSC: 68N01 68N30 68Q60 68R01 PDF BibTeX XML Cite \textit{R. Turner}, Lect. Notes Comput. Sci. 11558, 62--71 (2019; Zbl 07199430) Full Text: DOI
Wagemaker, Jana; Bonsangue, Marcello; Kappé, Tobias; Rot, Jurriaan; Silva, Alexandra Completeness and incompleteness of synchronous Kleene algebra. (English) Zbl 1434.68311 Hutton, Graham (ed.), Mathematics of program construction. 13th international conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11825, 385-413 (2019). MSC: 68Q70 68N30 PDF BibTeX XML Cite \textit{J. Wagemaker} et al., Lect. Notes Comput. Sci. 11825, 385--413 (2019; Zbl 1434.68311) Full Text: DOI
Affeldt, Reynald; Nowak, David; Saikawa, Takafumi A hierarchy of monadic effects for program verification using equational reasoning. (English) Zbl 1434.68100 Hutton, Graham (ed.), Mathematics of program construction. 13th international conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11825, 226-254 (2019). MSC: 68N30 68N18 68Q60 68V15 68V20 PDF BibTeX XML Cite \textit{R. Affeldt} et al., Lect. Notes Comput. Sci. 11825, 226--254 (2019; Zbl 1434.68100) Full Text: DOI
Dongol, Brijesh; Hayes, Ian; Meinicke, Larissa; Struth, Georg Cylindric Kleene lattices for program construction. (English) Zbl 1434.68105 Hutton, Graham (ed.), Mathematics of program construction. 13th international conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11825, 197-225 (2019). MSC: 68N30 03G15 PDF BibTeX XML Cite \textit{B. Dongol} et al., Lect. Notes Comput. Sci. 11825, 197--225 (2019; Zbl 1434.68105) Full Text: DOI
Bird, Richard; Rabe, Florian How to calculate with nondeterministic functions. (English) Zbl 1434.68078 Hutton, Graham (ed.), Mathematics of program construction. 13th international conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11825, 138-154 (2019). MSC: 68N18 68N30 PDF BibTeX XML Cite \textit{R. Bird} and \textit{F. Rabe}, Lect. Notes Comput. Sci. 11825, 138--154 (2019; Zbl 1434.68078) Full Text: DOI
Stolarek, Jan; Cheney, James Verified self-explaining computation. (English) Zbl 1434.68115 Hutton, Graham (ed.), Mathematics of program construction. 13th international conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11825, 76-102 (2019). MSC: 68N30 68N20 PDF BibTeX XML Cite \textit{J. Stolarek} and \textit{J. Cheney}, Lect. Notes Comput. Sci. 11825, 76--102 (2019; Zbl 1434.68115) Full Text: DOI
Pauwels, Koen; Schrijvers, Tom; Mu, Shin-Cheng Handling local state with global state. (English) Zbl 1434.68093 Hutton, Graham (ed.), Mathematics of program construction. 13th international conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11825, 18-44 (2019). MSC: 68N18 68N30 PDF BibTeX XML Cite \textit{K. Pauwels} et al., Lect. Notes Comput. Sci. 11825, 18--44 (2019; Zbl 1434.68093) Full Text: DOI
McIver, Annabelle Experiments in information flow analysis. (English) Zbl 1434.68111 Hutton, Graham (ed.), Mathematics of program construction. 13th international conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11825, 1-17 (2019). MSC: 68N30 PDF BibTeX XML Cite \textit{A. McIver}, Lect. Notes Comput. Sci. 11825, 1--17 (2019; Zbl 1434.68111) Full Text: DOI
Doménech, Jesús J.; Gallagher, John P.; Genaim, Samir Control-flow refinement by partial evaluation, and its application to termination and cost analysis. (English) Zbl 1434.68104 Theory Pract. Log. Program. 19, No. 5-6, 990-1005 (2019). MSC: 68N30 PDF BibTeX XML Cite \textit{J. J. Doménech} et al., Theory Pract. Log. Program. 19, No. 5--6, 990--1005 (2019; Zbl 1434.68104) Full Text: DOI
Albert, Elvira; Bofill, Miquel; Borralleras, Cristina; Martin-Martin, Enrique; Rubio, Albert Resource analysis driven by (conditional) termination proofs. (English) Zbl 1434.68101 Theory Pract. Log. Program. 19, No. 5-6, 722-739 (2019). MSC: 68N30 PDF BibTeX XML Cite \textit{E. Albert} et al., Theory Pract. Log. Program. 19, No. 5--6, 722--739 (2019; Zbl 1434.68101) Full Text: DOI
Chattopadhyay, Arkadev (ed.); Gastin, Paul (ed.) 39th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2019, Bombay, India, December 11–13, 2019. (English) Zbl 1434.68021 LIPIcs – Leibniz International Proceedings in Informatics 150. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-131-3). xii, 51 articles, not consecutively paged, electronic only, open access (2019). MSC: 68-06 68N30 68Qxx 00B25 PDF BibTeX XML Cite \textit{A. Chattopadhyay} (ed.) and \textit{P. Gastin} (ed.), 39th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2019, Bombay, India, December 11--13, 2019. Wadern: Schloss Dagstuhl -- Leibniz Zentrum für Informatik (2019; Zbl 1434.68021) Full Text: DOI Link
Dybjer, Peter (ed.); Espírito Santo, José (ed.); Pinto, Luís (ed.) 24th international conference on types for proofs and programs, TYPES 2018, Braga, Portugal, June 18–21, 2018. (English) Zbl 1433.68014 LIPIcs – Leibniz International Proceedings in Informatics 130. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-106-1). 7 articles, not consecutively paged, electronic only, open access (2019). MSC: 68-06 03B70 68N30 00B25 PDF BibTeX XML Cite \textit{P. Dybjer} (ed.) et al., 24th international conference on types for proofs and programs, TYPES 2018, Braga, Portugal, June 18--21, 2018. Wadern: Schloss Dagstuhl -- Leibniz Zentrum für Informatik (2019; Zbl 1433.68014) Full Text: DOI Link
Berghammer, Rudolf Mathematics for computer science. Basic concepts, structures and their applications. 3rd expanded and updated edition. (Mathematik für die Informatik. Grundlegende Begriffe, Strukturen und ihre Anwendung.) (German) Zbl 07185547 Wiesbaden: Springer Vieweg (ISBN 978-3-658-25808-5/pbk; 978-3-658-25809-2/ebook). xii, 426 p. (2019). Reviewer: Dieter Riebesehl (Lüneburg) MSC: 68-01 00A06 03B05 03B10 03E20 68N01 68N30 68P05 68Q60 68R10 68W01 PDF BibTeX XML Cite \textit{R. Berghammer}, Mathematik für die Informatik. Grundlegende Begriffe, Strukturen und ihre Anwendung. 3rd expanded and updated edition. Wiesbaden: Springer Vieweg (2019; Zbl 07185547) Full Text: DOI
Wu, Xi; Zhu, Huibiao; Xie, Wanling UTP semantics of a calculus for Mobile Ad Hoc Networks. (English) Zbl 07168640 Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-31037-0/pbk; 978-3-030-31038-7/ebook). Lecture Notes in Computer Science 11885, 198-216 (2019). MSC: 68N30 PDF BibTeX XML Cite \textit{X. Wu} et al., Lect. Notes Comput. Sci. 11885, 198--216 (2019; Zbl 07168640) Full Text: DOI
Hayes, Ian J.; Meinicke, Larissa A. Developing an algebra for rely/guarantee concurrency: design decisions and challenges. (English) Zbl 07168639 Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-31037-0/pbk; 978-3-030-31038-7/ebook). Lecture Notes in Computer Science 11885, 176-197 (2019). MSC: 68N30 PDF BibTeX XML Cite \textit{I. J. Hayes} and \textit{L. A. Meinicke}, Lect. Notes Comput. Sci. 11885, 176--197 (2019; Zbl 07168639) Full Text: DOI
Butterfield, Andrew The inner and outer algebras of unified concurrency. (English) Zbl 07168638 Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-31037-0/pbk; 978-3-030-31038-7/ebook). Lecture Notes in Computer Science 11885, 157-175 (2019). MSC: 68N30 PDF BibTeX XML Cite \textit{A. Butterfield}, Lect. Notes Comput. Sci. 11885, 157--175 (2019; Zbl 07168638) Full Text: DOI
Foster, Simon Hybrid relations in Isabelle/UTP. (English) Zbl 07168637 Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-31037-0/pbk; 978-3-030-31038-7/ebook). Lecture Notes in Computer Science 11885, 130-153 (2019). MSC: 68N30 PDF BibTeX XML Cite \textit{S. Foster}, Lect. Notes Comput. Sci. 11885, 130--153 (2019; Zbl 07168637) Full Text: DOI
Zhan, Haolan; Lin, Qianqian; Wang, Shuling; Talpin, Jean-Pierre; Xu, Xiong; Zhan, Naijun Unified graphical co-modelling of cyber-physical systems using AADL and Simulink/Stateflow. (English) Zbl 07168636 Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-31037-0/pbk; 978-3-030-31038-7/ebook). Lecture Notes in Computer Science 11885, 109-129 (2019). MSC: 68N30 PDF BibTeX XML Cite \textit{H. Zhan} et al., Lect. Notes Comput. Sci. 11885, 109--129 (2019; Zbl 07168636) Full Text: DOI
Woodcock, Jim; Cavalcanti, Ana; Foster, Simon; Mota, Alexandre; Ye, Kangfeng Probabilistic semantics for RoboChart. A weakest completion approach. (English) Zbl 07168635 Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-31037-0/pbk; 978-3-030-31038-7/ebook). Lecture Notes in Computer Science 11885, 80-105 (2019). MSC: 68N30 PDF BibTeX XML Cite \textit{J. Woodcock} et al., Lect. Notes Comput. Sci. 11885, 80--105 (2019; Zbl 07168635) Full Text: DOI
Guttmann, Walter Connecting fixpoints of computations with strict progress. (English) Zbl 07168634 Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-31037-0/pbk; 978-3-030-31038-7/ebook). Lecture Notes in Computer Science 11885, 62-79 (2019). MSC: 68N30 PDF BibTeX XML Cite \textit{W. Guttmann}, Lect. Notes Comput. Sci. 11885, 62--79 (2019; Zbl 07168634) Full Text: DOI
Naumann, David A.; Ngo, Minh Whither specifications as programs. (English) Zbl 07168633 Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-31037-0/pbk; 978-3-030-31038-7/ebook). Lecture Notes in Computer Science 11885, 39-61 (2019). MSC: 68N30 PDF BibTeX XML Cite \textit{D. A. Naumann} and \textit{M. Ngo}, Lect. Notes Comput. Sci. 11885, 39--61 (2019; Zbl 07168633) Full Text: DOI
Aichernig, Bernhard K. A testing perspective on algebraic, denotational, and operational semantics. (English) Zbl 07168632 Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-31037-0/pbk; 978-3-030-31038-7/ebook). Lecture Notes in Computer Science 11885, 22-38 (2019). MSC: 68N30 PDF BibTeX XML Cite \textit{B. K. Aichernig}, Lect. Notes Comput. Sci. 11885, 22--38 (2019; Zbl 07168632) Full Text: DOI
Hoare, Tony; Struth, Georg; Woodcock, Jim A calculus of space, time, and causality: its algebra, geometry, logic. (English) Zbl 07168631 Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-31037-0/pbk; 978-3-030-31038-7/ebook). Lecture Notes in Computer Science 11885, 3-21 (2019). MSC: 68N30 PDF BibTeX XML Cite \textit{T. Hoare} et al., Lect. Notes Comput. Sci. 11885, 3--21 (2019; Zbl 07168631) Full Text: DOI
Makhlouf, Amani; Percebois, Christian; Tran, Hanh Nhi Two-level reasoning about graph transformation programs. (English) Zbl 1429.68043 Guerra, Esther (ed.) et al., Graph transformation. 12th international conference, ICGT 2019, held as part of STAF 2019, Eindhoven, the Netherlands, July 15–16, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11629, 111-127 (2019). MSC: 68N30 68Q42 68T27 PDF BibTeX XML Cite \textit{A. Makhlouf} et al., Lect. Notes Comput. Sci. 11629, 111--127 (2019; Zbl 1429.68043) Full Text: DOI
Wuniri, Qiqige; Li, Xiaoping; Ma, Shilong; Lv, Jianghua; Zhang, Siqing Modelling and verification of high-order typed software architecture and case study. (Chinese. English summary) Zbl 1449.68019 J. Softw. 30, No. 7, 1916-1938 (2019). MSC: 68N30 PDF BibTeX XML Cite \textit{Q. Wuniri} et al., J. Softw. 30, No. 7, 1916--1938 (2019; Zbl 1449.68019) Full Text: DOI
Li, Yi; Cai, Tianxun; Fan, Jianfeng; Wu, Wenyuan; Feng, Yong SVM-based method for detecting ranking functions in polynomial loop programs. (Chinese. English summary) Zbl 1449.68017 J. Softw. 30, No. 7, 1903-1915 (2019). MSC: 68N30 68T05 PDF BibTeX XML Cite \textit{Y. Li} et al., J. Softw. 30, No. 7, 1903--1915 (2019; Zbl 1449.68017) Full Text: DOI
Hutton, Graham (ed.) Mathematics of program construction. 13th international conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings. (English) Zbl 1428.68024 Lecture Notes in Computer Science 11825. Cham: Springer (ISBN 978-3-030-33635-6/pbk; 978-3-030-33636-3/ebook). viii, 467 p. (2019). MSC: 68-06 68N30 00B25 PDF BibTeX XML Cite \textit{G. Hutton} (ed.), Mathematics of program construction. 13th international conference, MPC 2019, Porto, Portugal, October 7--9, 2019. Proceedings. Cham: Springer (2019; Zbl 1428.68024) Full Text: DOI
König, Barbara (ed.) Proceedings of the 35th conference on the mathematical foundations of programming semantics, MFPS XXXV, London, UK, June 4–7, 2019. (English) Zbl 1428.68030 Electronic Notes in Theoretical Computer Science 347. Amsterdam: Elsevier. 324 p., electronic only, open access (2019). MSC: 68-06 68N30 68Q55 00B25 PDF BibTeX XML Cite \textit{B. König} (ed.), Proceedings of the 35th conference on the mathematical foundations of programming semantics, MFPS XXXV, London, UK, June 4--7, 2019. Amsterdam: Elsevier (2019; Zbl 1428.68030) Full Text: Link
Reynolds, Andrew; Kuncak, Viktor; Tinelli, Cesare; Barrett, Clark; Deters, Morgan Refutation-based synthesis in SMT. (English) Zbl 1427.68051 Form. Methods Syst. Des. 55, No. 2, 73-102 (2019). MSC: 68N30 68V15 PDF BibTeX XML Cite \textit{A. Reynolds} et al., Form. Methods Syst. Des. 55, No. 2, 73--102 (2019; Zbl 1427.68051) Full Text: DOI
Apt, Krzysztof R.; Olderog, Ernst-Rüdiger Fifty years of Hoare’s logic. (English) Zbl 1427.68008 Formal Asp. Comput. 31, No. 6, 751-807 (2019). MSC: 68-03 03B70 68N30 68Q55 PDF BibTeX XML Cite \textit{K. R. Apt} and \textit{E.-R. Olderog}, Formal Asp. Comput. 31, No. 6, 751--807 (2019; Zbl 1427.68008) Full Text: DOI
Haigh, Thomas Assembling a prehistory for formal methods: a personal view. (English) Zbl 1427.68009 Formal Asp. Comput. 31, No. 6, 663-674 (2019). MSC: 68-03 68N30 68Qxx PDF BibTeX XML Cite \textit{T. Haigh}, Formal Asp. Comput. 31, No. 6, 663--674 (2019; Zbl 1427.68009) Full Text: DOI
Marquer, Yoann; Gava, Frédéric Axiomatization and characterization of BSP algorithms. (English) Zbl 1435.68187 J. Log. Algebr. Methods Program. 109, Article ID 100479, 43 p. (2019). MSC: 68Q55 68N30 68W01 PDF BibTeX XML Cite \textit{Y. Marquer} and \textit{F. Gava}, J. Log. Algebr. Methods Program. 109, Article ID 100479, 43 p. (2019; Zbl 1435.68187) Full Text: DOI
Mesnard, Fred (ed.); Stuckey, Peter J. (ed.) Logic-based program synthesis and transformation. 28th international symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4–6, 2018. Revised selected papers. (English) Zbl 1425.68014 Lecture Notes in Computer Science 11408. Cham: Springer (ISBN 978-3-030-13837-0/pbk; 978-3-030-13838-7/ebook). xx, 203 p. (2019). MSC: 68-06 68N30 00B25 PDF BibTeX XML Cite \textit{F. Mesnard} (ed.) and \textit{P. J. Stuckey} (ed.), Logic-based program synthesis and transformation. 28th international symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4--6, 2018. Revised selected papers. Cham: Springer (2019; Zbl 1425.68014) Full Text: DOI
Angelova, Nora; Todorova, Magdalina; Orozova, Daniela; Atanassov, Krassimir Software protection via generalized nets. (English) Zbl 1438.68029 Adv. Stud. Contemp. Math., Kyungshang 29, No. 2, 225-236 (2019). MSC: 68N30 68Q85 PDF BibTeX XML Cite \textit{N. Angelova} et al., Adv. Stud. Contemp. Math., Kyungshang 29, No. 2, 225--236 (2019; Zbl 1438.68029)
Diskin, Zinovy; König, Harald; Lawford, Mark Multiple model synchronization with multiary delta lenses with amendment and K-Putput. (English) Zbl 1425.68068 Formal Asp. Comput. 31, No. 5, 611-640 (2019); correction ibid. 32, No. 1, 153 (2020). MSC: 68N30 PDF BibTeX XML Cite \textit{Z. Diskin} et al., Formal Asp. Comput. 31, No. 5, 611--640 (2019; Zbl 1425.68068) Full Text: DOI
Chawdhary, Aziem; Robbins, Ed; King, Andy Incrementally closing octagons. (English) Zbl 1425.68242 Form. Methods Syst. Des. 54, No. 2, 232-277 (2019). MSC: 68Q55 68N30 PDF BibTeX XML Cite \textit{A. Chawdhary} et al., Form. Methods Syst. Des. 54, No. 2, 232--277 (2019; Zbl 1425.68242) Full Text: DOI
Marquer, Yoann Algorithmic completeness of imperative programming languages. (English) Zbl 1423.68087 Fundam. Inform. 168, No. 1, 51-77 (2019). MSC: 68N15 68N30 68Q05 PDF BibTeX XML Cite \textit{Y. Marquer}, Fundam. Inform. 168, No. 1, 51--77 (2019; Zbl 1423.68087) Full Text: DOI
Estevan, Asier; Miñana, Juan-José; Valero, Oscar On fixed point theory in partially ordered sets and an application to asymptotic complexity of algorithms. (English) Zbl 07124367 Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat., RACSAM 113, No. 4, 3233-3252 (2019). MSC: 47H10 54E50 54F05 68N30 68Q55 68Q25 68W40 PDF BibTeX XML Cite \textit{A. Estevan} et al., Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat., RACSAM 113, No. 4, 3233--3252 (2019; Zbl 07124367) Full Text: DOI
Camacho, Carlos; Llana, Luis; Núñez, Alberto; Bravetti, Mario Probabilistic software product lines. (English) Zbl 1431.68017 J. Log. Algebr. Methods Program. 107, 54-78 (2019). MSC: 68N30 68Q55 68Q60 68Q87 PDF BibTeX XML Cite \textit{C. Camacho} et al., J. Log. Algebr. Methods Program. 107, 54--78 (2019; Zbl 1431.68017) Full Text: DOI
Ribeiro, Pedro (ed.); Sampaio, Augusto (ed.) Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. (English) Zbl 1419.68018 Lecture Notes in Computer Science 11885. Cham: Springer (ISBN 978-3-030-31037-0/pbk; 978-3-030-31038-7/ebook). xiv, 217 p. (2019). MSC: 68-06 68N30 00B25 PDF BibTeX XML Cite \textit{P. Ribeiro} (ed.) and \textit{A. Sampaio} (ed.), Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer (2019; Zbl 1419.68018) Full Text: DOI
Härdle, Wolfgang Karl; Simar, Léopold Applied multivariate statistical analysis. 5th revised and updated edition. (English) Zbl 1435.62005 Cham: Springer (ISBN 978-3-030-26005-7/pbk; 978-3-030-26006-4/ebook). xii, 558 p. (2019). Reviewer: Hans-Jürgen Schmidt (Potsdam) MSC: 62-01 62H10 62-04 00A06 62H30 62R07 PDF BibTeX XML Cite \textit{W. K. Härdle} and \textit{L. Simar}, Applied multivariate statistical analysis. 5th revised and updated edition. Cham: Springer (2019; Zbl 1435.62005) Full Text: DOI
Wang, Ji; Zhan, Naijun; Feng, Xinyu; Liu, Zhiming Overview of formal methods. (Chinese. English summary) Zbl 1438.68030 J. Softw. 30, No. 1, 33-61 (2019). MSC: 68N30 68N01 68Q60 68-02 PDF BibTeX XML Cite \textit{J. Wang} et al., J. Softw. 30, No. 1, 33--61 (2019; Zbl 1438.68030) Full Text: DOI