Albert, Elvira; Gómez-Zamalloa, Miguel; Isabel, Miguel; Rubio, Albert; Sammartino, Matteo; Silva, Alexandra Actor-based model checking for software-defined networks. (English) Zbl 07316056 J. Log. Algebr. Methods Program. 118, Article ID 100617, 26 p. (2021). MSC: 68Q60 68N30 PDF BibTeX XML Cite \textit{E. Albert} et al., J. Log. Algebr. Methods Program. 118, Article ID 100617, 26 p. (2021; Zbl 07316056) Full Text: DOI
Fedyukovich, Grigory; Kaufman, Samuel J.; Bodík, Rastislav Learning inductive invariants by sampling from frequency distributions. (English) Zbl 07307317 Form. Methods Syst. Des. 56, No. 1-3, 154-177 (2020). MSC: 68 PDF BibTeX XML Cite \textit{G. Fedyukovich} et al., Form. Methods Syst. Des. 56, No. 1--3, 154--177 (2020; Zbl 07307317) Full Text: DOI
Schemmel, Daniel; Büning, Julian; Rodríguez, César; Laprell, David; Wehrle, Klaus Symbolic partial-order execution for testing multi-threaded programs. (English) Zbl 07306419 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 (ISBN 978-3-030-53287-1/pbk; 978-3-030-53288-8/ebook). Lecture Notes in Computer Science 12224, 376-400 (2020). MSC: 68Q60 PDF BibTeX XML Cite \textit{D. Schemmel} et al., Lect. Notes Comput. Sci. 12224, 376--400 (2020; Zbl 07306419) 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
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
Neider, Daniel; Madhusudan, P.; Saha, Shambwaditya; Garg, Pranav; Park, Daejun A learning-based approach to synthesizing invariants for incomplete verification engines. (English) Zbl 07268912 J. Autom. Reasoning 64, No. 7, 1523-1552 (2020). MSC: 68V15 PDF BibTeX XML Cite \textit{D. Neider} et al., J. Autom. Reasoning 64, No. 7, 1523--1552 (2020; Zbl 07268912) 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
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
Di Giusto, Cinzia; Laversa, Laetitia; Lozes, Etienne On the \(k\)-synchronizability of systems. (English) Zbl 07250937 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 (ISBN 978-3-030-45230-8/pbk; 978-3-030-45231-5/ebook). Lecture Notes in Computer Science 12077, 157-176 (2020). MSC: 68Nxx 68Qxx PDF BibTeX XML Cite \textit{C. Di Giusto} et al., Lect. Notes Comput. Sci. 12077, 157--176 (2020; Zbl 07250937) 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
Benisch, Katharina; Wang, Wenqing; Delfs, Jens-Olaf; Bauer, Sebastian The OGS-Eclipse code for simulation of coupled multiphase flow and geomechanical processes in the subsurface. (English) Zbl 1439.86002 Comput. Geosci. 24, No. 3, 1315-1331 (2020). MSC: 86-08 86-04 86A05 PDF BibTeX XML Cite \textit{K. Benisch} et al., Comput. Geosci. 24, No. 3, 1315--1331 (2020; Zbl 1439.86002) 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
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
Pettorossi, Alberto Correction to: “Towers of Hanoi problems: deriving iterative solutions by program transformations”. (English) Zbl 1441.68134 BIT 60, No. 2, 541 (2020). MSC: 68Q60 68N01 68T20 PDF BibTeX XML Cite \textit{A. Pettorossi}, BIT 60, No. 2, 541 (2020; Zbl 1441.68134) 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
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
Lammich, Peter Efficient verified (UN)SAT certificate checking. (English) Zbl 07176608 J. Autom. Reasoning 64, No. 3, 513-532 (2020). MSC: 68V15 PDF BibTeX XML Cite \textit{P. Lammich}, J. Autom. Reasoning 64, No. 3, 513--532 (2020; Zbl 07176608) 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
Bünger, Florian A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB. (English) Zbl 1429.65144 J. Comput. Appl. Math. 368, Article ID 112511, 20 p. (2020). MSC: 65L05 34-04 34A34 65G20 PDF BibTeX XML Cite \textit{F. Bünger}, J. Comput. Appl. Math. 368, Article ID 112511, 20 p. (2020; Zbl 1429.65144) Full Text: DOI
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
Babu, Jasine; Krishnan, Karunakaran Murali; Paleri, Vineeth A fix-point characterization of Herbrand equivalence of expressions in data flow frameworks. (English) Zbl 07150817 Khan, Md. Aquil (ed.) et al., Logic and its applications. 8th Indian conference, ICLA 2019, Delhi, India, March 1–5, 2019. Proceedings. Berlin: Springer (ISBN 978-3-662-58770-6/pbk; 978-3-662-58771-3/ebook). Lecture Notes in Computer Science 11600, 160-172 (2019). MSC: 68N30 03G10 PDF BibTeX XML Cite \textit{J. Babu} et al., Lect. Notes Comput. Sci. 11600, 160--172 (2019; Zbl 07150817) Full Text: DOI
Revesz, Peter Z.; Woodward, Robert J. Estimating the maximum rise in temperature according to climate models using abstract interpretation. (English) Zbl 07150264 Acta Univ. Sapientiae, Inform. 11, No. 1, 5-23 (2019). MSC: 68R15 PDF BibTeX XML Cite \textit{P. Z. Revesz} and \textit{R. J. Woodward}, Acta Univ. Sapientiae, Inform. 11, No. 1, 5--23 (2019; Zbl 07150264) 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
Moore, J. Strother Milestones from the Pure Lisp Theorem Prover to ACL2. (English) Zbl 1427.68348 Formal Asp. Comput. 31, No. 6, 699-732 (2019). MSC: 68V15 68-03 PDF BibTeX XML Cite \textit{J. S. Moore}, Formal Asp. Comput. 31, No. 6, 699--732 (2019; Zbl 1427.68348) 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
Menghi, Claudio; Spoletini, Paola; Chechik, Marsha; Ghezzi, Carlo A verification-driven framework for iterative design of controllers. (English) Zbl 1425.68262 Formal Asp. Comput. 31, No. 5, 459-502 (2019). MSC: 68Q60 03B44 68N99 68Q45 PDF BibTeX XML Cite \textit{C. Menghi} et al., Formal Asp. Comput. 31, No. 5, 459--502 (2019; Zbl 1425.68262) 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
Biondi, Fabrizio (ed.); Given-Wilson, Thomas (ed.); Legay, Axel (ed.) Model checking software. 26th international symposium, SPIN 2019, Beijing, China, July 15–16, 2019. Proceedings. (English) Zbl 1425.68004 Lecture Notes in Computer Science 11636. Cham: Springer (ISBN 978-3-030-30922-0/pbk; 978-3-030-30923-7/ebook). x, 261 p. (2019). MSC: 68-06 68N99 68Q60 00B25 PDF BibTeX XML Cite \textit{F. Biondi} (ed.) et al., Model checking software. 26th international symposium, SPIN 2019, Beijing, China, July 15--16, 2019. Proceedings. Cham: Springer (2019; Zbl 1425.68004) Full Text: DOI