Berger, Ulrich; Petrovska, Olga Optimized program extraction for induction and coinduction. (English) Zbl 1509.03089 Manea, Florin (ed.) et al., Sailing routes in the world of computation. 14th conference on computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10936, 70-80 (2018). MSC: 03B70 68N30 PDFBibTeX XMLCite \textit{U. Berger} and \textit{O. Petrovska}, Lect. Notes Comput. Sci. 10936, 70--80 (2018; Zbl 1509.03089) Full Text: DOI Link
Chen, Tianran libtropicon: a scalable library for computing intersection points of generic tropical hyper-surfaces. (English) Zbl 1396.14004 Davenport, James H. (ed.) et al., Mathematical software – ICMS 2018. 6th international conference, South Bend, IN, USA, July 24–27, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-96417-1/pbk; 978-3-319-96418-8/ebook). Lecture Notes in Computer Science 10931, 105-112 (2018). MSC: 14-04 14T05 65Y10 68W30 68W10 14Q99 PDFBibTeX XMLCite \textit{T. Chen}, Lect. Notes Comput. Sci. 10931, 105--112 (2018; Zbl 1396.14004) Full Text: DOI
Alpuente, María; Ballis, Demis; Sapiña, Julia Inferring safe Maude programs with ÁTAME. (English) Zbl 1395.68080 Davenport, James H. (ed.) et al., Mathematical software – ICMS 2018. 6th international conference, South Bend, IN, USA, July 24–27, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-96417-1/pbk; 978-3-319-96418-8/ebook). Lecture Notes in Computer Science 10931, 1-10 (2018). MSC: 68N15 68-04 68Q42 PDFBibTeX XMLCite \textit{M. Alpuente} et al., Lect. Notes Comput. Sci. 10931, 1--10 (2018; Zbl 1395.68080) Full Text: DOI Link
Adams, Robin; Jacobs, Bart A type theory for probabilistic and Bayesian reasoning. (English) Zbl 1433.68264 Uustalu, Tarmo (ed.), 21st international conference on types for proofs and programs, TYPES 2015, May 18–21, 2015, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 69, Article 1, 34 p. (2018). MSC: 68Q87 03B70 62F15 68N30 68T05 PDFBibTeX XMLCite \textit{R. Adams} and \textit{B. Jacobs}, LIPIcs -- Leibniz Int. Proc. Inform. 69, Article 1, 34 p. (2018; Zbl 1433.68264) Full Text: DOI arXiv
Chatzigiannakis, Ioannis (ed.); Kaklamanis, Christos (ed.); Marx, Dániel (ed.); Sannella, Donald (ed.) 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. (English) Zbl 1392.68012 LIPIcs – Leibniz International Proceedings in Informatics 107. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-076-7). xlvii, 165 articles, not consecutively paged, electronic only, open access (2018). MSC: 68-06 68Nxx 68Qxx 00B25 PDFBibTeX XMLCite \textit{I. Chatzigiannakis} (ed.) et al., 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9--13, 2018. Proceedings. Wadern: Schloss Dagstuhl -- Leibniz Zentrum für Informatik (2018; Zbl 1392.68012) Full Text: DOI Link
Lucas, Salvador; Gutiérrez, Raúl Automatic synthesis of logical models for order-sorted first-order theories. (English) Zbl 1398.68095 J. Autom. Reasoning 60, No. 4, 465-501 (2018). MSC: 68N30 03B70 PDFBibTeX XMLCite \textit{S. Lucas} and \textit{R. Gutiérrez}, J. Autom. Reasoning 60, No. 4, 465--501 (2018; Zbl 1398.68095) Full Text: DOI Link
Curran, J. M. Book review of: C. Weihs et al., Foundations of statistical algorithms. With references to R packages. (English) Zbl 1392.00021 Aust. N. Z. J. Stat. 60, No. 2, 276-277 (2018). MSC: 00A17 62-01 62-04 65-01 65C60 68-01 PDFBibTeX XMLCite \textit{J. M. Curran}, Aust. N. Z. J. Stat. 60, No. 2, 276--277 (2018; Zbl 1392.00021) Full Text: DOI
Sarkar, Kaushik; Colbourn, Charles J.; De Bonis, Annalisa; Vaccaro, Ugo Partial covering arrays: algorithms and asymptotics. (English) Zbl 1391.68085 Theory Comput. Syst. 62, No. 6, 1470-1489 (2018). MSC: 68R05 05B15 68W20 PDFBibTeX XMLCite \textit{K. Sarkar} et al., Theory Comput. Syst. 62, No. 6, 1470--1489 (2018; Zbl 1391.68085) Full Text: DOI arXiv
Benczúr, András (ed.); Thalheim, Bernhard (ed.); Horváth, Tomáš (ed.) Advances in databases and information systems. 22nd European conference, ADBIS 2018, Budapest, Hungary, September 2–5, 2018. Proceedings. (English) Zbl 1393.68011 Lecture Notes in Computer Science 11019. Cham: Springer (ISBN 978-3-319-98397-4/pbk; 978-3-319-98398-1/ebook). xxii, 291 p. (2018). MSC: 68-06 68P15 68T35 68U35 00B25 PDFBibTeX XMLCite \textit{A. Benczúr} (ed.) et al., Advances in databases and information systems. 22nd European conference, ADBIS 2018, Budapest, Hungary, September 2--5, 2018. Proceedings. Cham: Springer (2018; Zbl 1393.68011) Full Text: DOI
Abadi, Martín; Blanchet, Bruno; Fournet, Cédric The applied pi calculus, mobile values, new names, and secure communication. (English) Zbl 1426.68037 J. ACM 65, No. 1, Article No. 1, 41 p. (2018). MSC: 68N30 68P25 68Q85 PDFBibTeX XMLCite \textit{M. Abadi} et al., J. ACM 65, No. 1, Article No. 1, 41 p. (2018; Zbl 1426.68037) Full Text: DOI arXiv
Mosses, Peter D. CoFI with Don Sannella. (English) Zbl 1397.68124 Theor. Comput. Sci. 741, 44-47 (2018). MSC: 68Q65 68-03 PDFBibTeX XMLCite \textit{P. D. Mosses}, Theor. Comput. Sci. 741, 44--47 (2018; Zbl 1397.68124) Full Text: DOI
Silva, Alexandra (ed.) Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12–15, 2017. (English) Zbl 1392.68033 Electronic Notes in Theoretical Computer Science 336. Amsterdam: Elsevier. 314 p., electronic only (2018). MSC: 68-06 68N30 68Q55 00B25 PDFBibTeX XMLCite \textit{A. Silva} (ed.), Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12--15, 2017. Amsterdam: Elsevier (2018; Zbl 1392.68033) Full Text: Link
Scozzari, Francesca (ed.) Proceedings of the 7th international workshop on numerical and symbolic abstract domains, NSAD 2017, New York City, NY, USA, August 29, 2017. (English) Zbl 1392.68032 Electronic Notes in Theoretical Computer Science 334. Amsterdam: Elsevier. 44 p., electronic only (2018). MSC: 68-06 68N30 00B25 PDFBibTeX XMLCite \textit{F. Scozzari} (ed.), Proceedings of the 7th international workshop on numerical and symbolic abstract domains, NSAD 2017, New York City, NY, USA, August 29, 2017. Amsterdam: Elsevier (2018; Zbl 1392.68032) Full Text: Link
Demri, Stéphane; Lozes, Étienne; Mansutti, Alessio The effects of adding reachability predicates in propositional separation logic. (English) Zbl 1504.68128 Baier, Christel (ed.) et al., Foundations of software science and computation structures. 21st international conference, FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10803, 476-493 (2018). MSC: 68Q60 03B70 68N30 PDFBibTeX XMLCite \textit{S. Demri} et al., Lect. Notes Comput. Sci. 10803, 476--493 (2018; Zbl 1504.68128) Full Text: DOI arXiv
Klebanov, Vladimir; Rümmer, Philipp; Ulbrich, Mattias Automating regression verification of pointer programs by predicate abstraction. (English) Zbl 1392.68146 Form. Methods Syst. Des. 52, No. 3, 229-259 (2018). MSC: 68N30 03B70 PDFBibTeX XMLCite \textit{V. Klebanov} et al., Form. Methods Syst. Des. 52, No. 3, 229--259 (2018; Zbl 1392.68146) Full Text: DOI Link
Strichman, Ofer (ed.) Special issue: program equivalence. (English) Zbl 1392.68034 Form. Methods Syst. Des. 52, No. 3, 227-228 (2018). MSC: 68-06 68N30 68Q60 00B15 PDFBibTeX XMLCite \textit{O. Strichman} (ed.), Form. Methods Syst. Des. 52, No. 3, 227--228 (2018; Zbl 1392.68034) Full Text: DOI
Havelund, Klaus (ed.); Peleska, Jan (ed.); Roscoe, Bill (ed.); de Vink, Erik (ed.) Formal methods. 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15–17, 2018. Proceedings. (English) Zbl 1391.68007 Lecture Notes in Computer Science 10951. Cham: Springer (ISBN 978-3-319-95581-0/pbk; 978-3-319-95582-7/ebook). xiv, 692 p. (2018). MSC: 68-06 68Nxx 68Qxx 00B25 PDFBibTeX XMLCite \textit{K. Havelund} (ed.) et al., Formal methods. 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15--17, 2018. Proceedings. Cham: Springer (2018; Zbl 1391.68007) Full Text: DOI
Byrd, Jason; Bartlett, Rodney; Sanders, Beverly A. On preparing the super instruction architecture and ACES4 for future computer systems. (English) Zbl 1395.81007 Straatsma, Tjerk P. (ed.) et al., Exascale scientific applications: scalability and performance portability. Boca Raton, FL: CRC Press (ISBN 978-1-138-19754-1/hbk; 978-1-351-99924-3/ebook). Chapman & Hall/CRC Computational Science Series, 151-169 (2018). MSC: 81-04 68M07 68W10 PDFBibTeX XMLCite \textit{J. Byrd} et al., in: Exascale scientific applications: scalability and performance portability. Boca Raton, FL: CRC Press. 151--169 (2018; Zbl 1395.81007)
Acun, Bilge; Buch, Ronak; Kale, Laxmikant; Phillips, James C. NAMD: scalable molecular dynamics based on the charm++ parallel runtime system. (English) Zbl 1395.92003 Straatsma, Tjerk P. (ed.) et al., Exascale scientific applications: scalability and performance portability. Boca Raton, FL: CRC Press (ISBN 978-1-138-19754-1/hbk; 978-1-351-99924-3/ebook). Chapman & Hall/CRC Computational Science Series, 119-143 (2018). MSC: 92-04 92-08 68W10 PDFBibTeX XMLCite \textit{B. Acun} et al., in: Exascale scientific applications: scalability and performance portability. Boca Raton, FL: CRC Press. 119--143 (2018; Zbl 1395.92003)
Papatheodore, Thomas; Messer, O. E. Bronson Exposing hierarchical parallelism in the FLASH code for supernova simulation on summit and other architectures. (English) Zbl 1395.85002 Straatsma, Tjerk P. (ed.) et al., Exascale scientific applications: scalability and performance portability. Boca Raton, FL: CRC Press (ISBN 978-1-138-19754-1/hbk; 978-1-351-99924-3/ebook). Chapman & Hall/CRC Computational Science Series, 95-118 (2018). MSC: 85-04 68W10 PDFBibTeX XMLCite \textit{T. Papatheodore} and \textit{O. E. B. Messer}, in: Exascale scientific applications: scalability and performance portability. Boca Raton, FL: CRC Press. 95--118 (2018; Zbl 1395.85002)
Johnsen, Einar Broch (ed.); Schaefer, Ina (ed.) Software engineering and formal methods. 16th international conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27–29, 2018. Proceedings. (English) Zbl 1390.68023 Lecture Notes in Computer Science 10886. Cham: Springer (ISBN 978-3-319-92969-9/pbk; 978-3-319-92970-5/ebook). xiv, 303 p. (2018). MSC: 68-06 68Nxx 00B25 PDFBibTeX XMLCite \textit{E. B. Johnsen} (ed.) and \textit{I. Schaefer} (ed.), Software engineering and formal methods. 16th international conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27--29, 2018. Proceedings. Cham: Springer (2018; Zbl 1390.68023) Full Text: DOI
del Mar Gallardo, María (ed.); Merino, Pedro (ed.) Model checking software. 25th international symposium, SPIN 2018, Malaga, Spain, June 20–22, 2018. Proceedings. (English) Zbl 1390.68021 Lecture Notes in Computer Science 10869. Cham: Springer (ISBN 978-3-319-94110-3/pbk; 978-3-319-94111-0/ebook). xvi, 347 p. (2018). MSC: 68-06 68N99 68Q60 00B25 PDFBibTeX XMLCite \textit{M. del Mar Gallardo} (ed.) and \textit{P. Merino} (ed.), Model checking software. 25th international symposium, SPIN 2018, Malaga, Spain, June 20--22, 2018. Proceedings. Cham: Springer (2018; Zbl 1390.68021) Full Text: DOI
Fioravanti, Fabio (ed.); Gallagher, John P. (ed.) Logic-based program synthesis and transformation. 27th international symposium, LOPSTR 2017, Namur, Belgium, October 10–12, 2017. Revised selected papers. (English) Zbl 1392.68017 Lecture Notes in Computer Science 10855. Cham: Springer (ISBN 978-3-319-94459-3/pbk; 978-3-319-94460-9/ebook). xvi, 341 p. (2018). MSC: 68-06 68N30 00B25 PDFBibTeX XMLCite \textit{F. Fioravanti} (ed.) and \textit{J. P. Gallagher} (ed.), Logic-based program synthesis and transformation. 27th international symposium, LOPSTR 2017, Namur, Belgium, October 10--12, 2017. Revised selected papers. Cham: Springer (2018; Zbl 1392.68017) Full Text: DOI
Schekotihin, Konstantin; Rodler, Patrick; Schmid, Wolfgang OntoDebug: interactive ontology debugging plug-in for Protégé. (English) Zbl 1508.68009 Ferrarotti, Flavio (ed.) et al., Foundations of information and knowledge systems. 10th international symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10833, 340-359 (2018). MSC: 68-04 68T30 PDFBibTeX XMLCite \textit{K. Schekotihin} et al., Lect. Notes Comput. Sci. 10833, 340--359 (2018; Zbl 1508.68009) Full Text: DOI
Böhm, Stanislav; Beránek, Jakub; Šurkovský, Martin Haydi: rapid prototyping and combinatorial objects. (English) Zbl 1508.68008 Ferrarotti, Flavio (ed.) et al., Foundations of information and knowledge systems. 10th international symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10833, 133-149 (2018). MSC: 68-04 68R05 PDFBibTeX XMLCite \textit{S. Böhm} et al., Lect. Notes Comput. Sci. 10833, 133--149 (2018; Zbl 1508.68008) Full Text: DOI arXiv
Chappelon, J.; Martínez-Sandoval, L.; Montejano, L.; Montejano, L. P.; Ramírez Alfonsín, J. L. Codimension two and three Kneser transversals. (English) Zbl 1392.52003 SIAM J. Discrete Math. 32, No. 2, 1351-1363 (2018). MSC: 52A35 52C40 52B55 68-04 PDFBibTeX XMLCite \textit{J. Chappelon} et al., SIAM J. Discrete Math. 32, No. 2, 1351--1363 (2018; Zbl 1392.52003) Full Text: DOI arXiv
Halldórsson, Magnús M. (ed.); Kobayashi, Naoki (ed.); Speckmann, Bettina (ed.) Special issue for the 42nd International Colloquium on Automata, Languages and Programming, ICALP 2015, Kyoto, Japan. (English) Zbl 1398.00100 Inf. Comput. 261, Part 2, 159 (2018). MSC: 00B25 68-06 68Nxx 68Qxx PDFBibTeX XMLCite \textit{M. M. Halldórsson} (ed.) et al., Inf. Comput. 261, Part 2, 159 (2018; Zbl 1398.00100) Full Text: DOI
Butler, Michael (ed.); Raschke, Alexander (ed.); Hoang, Thai Son (ed.); Reichl, Klaus (ed.) Abstract state machines, Alloy, B, TLA, VDM, and Z. 6th international conference, ABZ 2018, Southampton, UK, June 5–8, 2018. Proceedings. (English) Zbl 1387.68015 Lecture Notes in Computer Science 10817. Cham: Springer (ISBN 978-3-319-91270-7/pbk; 978-3-319-91271-4/ebook). xiv, 432 p. (2018). MSC: 68-06 68N01 68Q05 68Q60 00B25 PDFBibTeX XMLCite \textit{M. Butler} (ed.) et al., Abstract state machines, Alloy, B, TLA, VDM, and Z. 6th international conference, ABZ 2018, Southampton, UK, June 5--8, 2018. Proceedings. Cham: Springer (2018; Zbl 1387.68015) Full Text: DOI
Ferrarotti, Flavio (ed.); Woltran, Stefan (ed.) Foundations of information and knowledge systems. 10th international symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018. Proceedings. (English) Zbl 1387.68022 Lecture Notes in Computer Science 10833. Cham: Springer (ISBN 978-3-319-90049-0/pbk; 978-3-319-90050-6/ebook). xxii, 401 p. (2018). MSC: 68-06 68P15 68T27 68T35 68U35 00B25 PDFBibTeX XMLCite \textit{F. Ferrarotti} (ed.) and \textit{S. Woltran} (ed.), Foundations of information and knowledge systems. 10th international symposium, FoIKS 2018, Budapest, Hungary, May 14--18, 2018. Proceedings. Cham: Springer (2018; Zbl 1387.68022) Full Text: DOI
Olarte, Carlos; Pimentel, Elaine; Rueda, Camilo A concurrent constraint programming interpretation of access permissions. (English) Zbl 1478.68056 Theory Pract. Log. Program. 18, No. 2, 252-295 (2018). MSC: 68N30 03B70 68Q60 PDFBibTeX XMLCite \textit{C. Olarte} et al., Theory Pract. Log. Program. 18, No. 2, 252--295 (2018; Zbl 1478.68056) Full Text: DOI arXiv
Lopez-Garcia, P.; Darmawan, L.; Klemen, M.; Liqat, U.; Bueno, F.; Hermenegildo, M. V. Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption. (English) Zbl 1478.68170 Theory Pract. Log. Program. 18, No. 2, 167-223 (2018). MSC: 68Q60 03B70 68N30 PDFBibTeX XMLCite \textit{P. Lopez-Garcia} et al., Theory Pract. Log. Program. 18, No. 2, 167--223 (2018; Zbl 1478.68170) Full Text: DOI arXiv
Adamatzky, Andrew (ed.) Shortest path solvers. From software to wetware. (English) Zbl 1388.68005 Emergence, Complexity and Computation 32. Cham: Springer (ISBN 978-3-319-77509-8/hbk; 978-3-319-77510-4/ebook). viii, 441 p. (2018). MSC: 68-06 05-04 05C35 05C38 05C85 68Q10 68Q80 68W10 68W15 00B15 PDFBibTeX XMLCite \textit{A. Adamatzky} (ed.), Shortest path solvers. From software to wetware. Cham: Springer (2018; Zbl 1388.68005) Full Text: DOI
Melliès, Paul-André; Zeilberger, Noam An Isbell duality theorem for type refinement systems. (English) Zbl 1390.68189 Math. Struct. Comput. Sci. 28, No. 6, 736-774 (2018). MSC: 68N30 03B70 03F52 03G30 18F25 68N18 PDFBibTeX XMLCite \textit{P.-A. Melliès} and \textit{N. Zeilberger}, Math. Struct. Comput. Sci. 28, No. 6, 736--774 (2018; Zbl 1390.68189) Full Text: DOI arXiv
Czaja, Ludwik (ed.); Penczek, Wojciech (ed.); Schlingloff, Holger (ed.); Son, Nguyen Hung (ed.) Concurrency, specification, and programming: special issue of selected papers of CS&P 2016. Preface. (English) Zbl 1395.00064 Fundam. Inform. 157, No. 4, i-ii (2018). MSC: 00B25 68-06 68N30 68Q60 68Q85 PDFBibTeX XMLCite \textit{L. Czaja} (ed.) et al., Fundam. Inform. 157, No. 4, i-ii (2018; Zbl 1395.00064) Full Text: DOI
Uustalu, Tarmo (ed.) 21st international conference on types for proofs and programs, TYPES 2015, May 18–21, 2015, Tallinn, Estonia. (English) Zbl 1392.68035 LIPIcs – Leibniz International Proceedings in Informatics 69. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-030-9). xii, 9 articles, not consecutively paged, electronic only, open access (2018). MSC: 68-06 03B70 68N30 00B25 PDFBibTeX XMLCite \textit{T. Uustalu} (ed.), 21st international conference on types for proofs and programs, TYPES 2015, May 18--21, 2015, Tallinn, Estonia. Wadern: Schloss Dagstuhl -- Leibniz Zentrum für Informatik (2018; Zbl 1392.68035) Full Text: DOI Link
Lokam, Satya (ed.); Ramanujam, R. (ed.) 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. (English) Zbl 1388.68010 LIPIcs – Leibniz International Proceedings in Informatics 93. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-055-2). viii, 47 articles, not consecutively paged, electronic only, open access (2018). MSC: 68-06 68N30 68Qxx 00B25 PDFBibTeX XMLCite \textit{S. Lokam} (ed.) and \textit{R. Ramanujam} (ed.), 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12--14, 2017. Wadern: Schloss Dagstuhl -- Leibniz Zentrum für Informatik (2018; Zbl 1388.68010) Full Text: DOI Link
Benton, Nick; Hofmann, Martin; Nigam, Vivek Proof-relevant logical relations for name generation. (English) Zbl 1459.68041 Log. Methods Comput. Sci. 14, No. 1, Paper No. 25, 22 p. (2018). MSC: 68N30 03B70 68N15 68N18 PDFBibTeX XMLCite \textit{N. Benton} et al., Log. Methods Comput. Sci. 14, No. 1, Paper No. 25, 22 p. (2018; Zbl 1459.68041) Full Text: DOI arXiv
Ahmed, Amal (ed.) Programming languages and systems. 27th European symposium on programming, ESOP 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. (English) Zbl 1408.68004 Lecture Notes in Computer Science 10801. Cham: Springer (ISBN 978-3-319-89883-4/pbk; 978-3-319-89884-1/ebook). xvi, 1058 p. (2018). MSC: 68-06 68Nxx 00B25 PDFBibTeX XMLCite \textit{A. Ahmed} (ed.), Programming languages and systems. 27th European symposium on programming, ESOP 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14--20, 2018. Proceedings. Cham: Springer (2018; Zbl 1408.68004) Full Text: DOI
Baier, Christel (ed.); Dal Lago, Ugo (ed.) Foundations of software science and computation structures. 21st international conference, FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. (English) Zbl 1386.68002 Lecture Notes in Computer Science 10803. Cham: Springer (ISBN 978-3-319-89365-5/pbk; 978-3-319-89366-2/ebook). xv, 583 p. (2018). MSC: 68-06 68Nxx 68Qxx 00B25 PDFBibTeX XMLCite \textit{C. Baier} (ed.) and \textit{U. Dal Lago} (ed.), Foundations of software science and computation structures. 21st international conference, FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14--20, 2018. Proceedings. Cham: Springer (2018; Zbl 1386.68002) Full Text: DOI
Russo, Alessandra (ed.); Schürr, Andy (ed.) Fundamental approaches to software engineering. 21st international conference, FASE 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. (English) Zbl 1408.68023 Lecture Notes in Computer Science 10802. Cham: Springer (ISBN 978-3-319-89362-4/pbk; 978-3-319-89363-1/ebook). xii, 357 p. (2018). MSC: 68-06 68Nxx 00B25 PDFBibTeX XMLCite \textit{A. Russo} (ed.) and \textit{A. Schürr} (ed.), Fundamental approaches to software engineering. 21st international conference, FASE 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14--20, 2018. Proceedings. Cham: Springer (2018; Zbl 1408.68023) Full Text: DOI
Gibbons, Jeremy (ed.); Stevens, Perdita (ed.) Bidirectional transformations. International summer school, Oxford, UK, July 25–29, 2016. Tutorial lectures. (English) Zbl 1405.68010 Lecture Notes in Computer Science 9715. Cham: Springer (ISBN 978-3-319-79107-4/pbk; 978-3-319-79108-1/ebook). ix, 189 p. (2018). MSC: 68-06 68N01 00B15 PDFBibTeX XMLCite \textit{J. Gibbons} (ed.) and \textit{P. Stevens} (ed.), Bidirectional transformations. International summer school, Oxford, UK, July 25--29, 2016. Tutorial lectures. Cham: Springer (2018; Zbl 1405.68010) Full Text: DOI
Pratt, Vaughan Dynamic logic: a personal perspective. (English) Zbl 1499.03026 Madeira, Alexandre (ed.) et al., Dynamic logic. New trends and applications. First international workshop, DALI 2017, Brasilia, Brazil, September 23–24, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10669, 153-170 (2018). MSC: 03B70 01A60 03-03 68-03 68N30 PDFBibTeX XMLCite \textit{V. Pratt}, Lect. Notes Comput. Sci. 10669, 153--170 (2018; Zbl 1499.03026) Full Text: DOI
Muller, Jean-Michel; Brunie, Nicolas; de Dinechin, Florent; Jeannerod, Claude-Pierre; Joldes, Mioara; Lefèvre, Vincent; Melquiond, Guillaume; Revol, Nathalie; Torres, Serge Handbook of floating-point arithmetic. 2nd edition. (English) Zbl 1394.65001 Cham: Birkhäuser (ISBN 978-3-319-76525-9/hbk; 978-3-319-76526-6/ebook). xxv, 627 p. (2018). Reviewer: T. C. Mohan (Chennai) MSC: 65-00 68-00 65Y04 65G50 68M07 68N15 68N20 68W35 PDFBibTeX XMLCite \textit{J.-M. Muller} et al., Handbook of floating-point arithmetic. 2nd edition. Cham: Birkhäuser (2018; Zbl 1394.65001) Full Text: DOI
Varró, Dániel; Semeráth, Oszkár; Szárnyas, Gábor; Horváth, Ákos Towards the automated generation of consistent, diverse, scalable and realistic graph models. (English) Zbl 1383.68027 Heckel, Reiko (ed.) et al., Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. Cham: Springer (ISBN 978-3-319-75395-9/pbk; 978-3-319-75396-6/ebook). Lecture Notes in Computer Science 10800, 285-312 (2018). MSC: 68N30 68R10 PDFBibTeX XMLCite \textit{D. Varró} et al., Lect. Notes Comput. Sci. 10800, 285--312 (2018; Zbl 1383.68027) Full Text: DOI Link
Bizjak, Aleš; Birkedal, Lars A model of guarded recursion via generalised equilogical spaces. (English) Zbl 1388.68023 Theor. Comput. Sci. 722, 1-18 (2018). MSC: 68N30 03B70 PDFBibTeX XMLCite \textit{A. Bizjak} and \textit{L. Birkedal}, Theor. Comput. Sci. 722, 1--18 (2018; Zbl 1388.68023) Full Text: DOI
Bassini, S. (ed.); Danelutto, M. (ed.); Dazzi, P. (ed.); Joubert, G. R. (ed.); Peters, F. (ed.) Parallel computing is everywhere. Selected papers based on the presentations at the international parallel computing conference (ParCo2017), Bologna, Italy, September 12–15, 2017. (English) Zbl 1381.68001 Advances in Parallel Computing 32. Amsterdam: IOS Press (ISBN 978-1-61499-842-6/hbk; 978-1-61499-843-3/ebook). 852 p. (2018). MSC: 68-06 65Y05 68M99 68N99 68W10 00B25 PDFBibTeX XMLCite \textit{S. Bassini} (ed.) et al., Parallel computing is everywhere. Selected papers based on the presentations at the international parallel computing conference (ParCo2017), Bologna, Italy, September 12--15, 2017. Amsterdam: IOS Press (2018; Zbl 1381.68001) Full Text: Link
Kırlar, Barış Bülent; Ergün, Serap; Alparslan Gök, Sırma Zeynep; Weber, Gerhard-Wilhelm A game-theoretical and cryptographical approach to crypto-cloud computing and its economical and financial aspects. (English) Zbl 1404.91065 Ann. Oper. Res. 260, No. 1-2, 217-231 (2018). MSC: 91A80 91A12 94A60 68M11 91G99 91B99 91-04 PDFBibTeX XMLCite \textit{B. B. Kırlar} et al., Ann. Oper. Res. 260, No. 1--2, 217--231 (2018; Zbl 1404.91065) Full Text: DOI
Blazy, Sandrine (ed.); Chechik, Marsha (ed.) Selected extended papers of VSTTE 2016. (English) Zbl 1426.68006 J. Autom. Reasoning 60, No. 3, 255-256 (2018). MSC: 68-06 68N30 68Q60 68V15 PDFBibTeX XMLCite \textit{S. Blazy} (ed.) and \textit{M. Chechik} (ed.), J. Autom. Reasoning 60, No. 3, 255--256 (2018; Zbl 1426.68006) Full Text: DOI
Heckel, Reiko (ed.); Taentzer, Gabriele (ed.) Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. (English) Zbl 1383.68006 Lecture Notes in Computer Science 10800. Cham: Springer (ISBN 978-3-319-75395-9/pbk; 978-3-319-75396-6/ebook). xiv, 333 p. (2018). MSC: 68-06 68N30 68Qxx 68R10 00B25 00B30 PDFBibTeX XMLCite \textit{R. Heckel} (ed.) and \textit{G. Taentzer} (ed.), Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. Cham: Springer (2018; Zbl 1383.68006) Full Text: DOI
Cerone, Antonio (ed.); Roveri, Marco (ed.) Software engineering and formal methods. SEFM 2017 collocated workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4–5, 2017. Revised selected papers. (English) Zbl 1461.68007 Lecture Notes in Computer Science 10729. Cham: Springer (ISBN 978-3-319-74780-4/pbk; 978-3-319-74781-1/ebook). x, 592 p. (2018). MSC: 68-06 68Nxx 00B25 PDFBibTeX XMLCite \textit{A. Cerone} (ed.) and \textit{M. Roveri} (ed.), Software engineering and formal methods. SEFM 2017 collocated workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4--5, 2017. Revised selected papers. Cham: Springer (2018; Zbl 1461.68007) Full Text: DOI
Denney, Ewen (ed.); Stevens, Perdita (ed.); Wąsowski, Andrzej (ed.) Editorial. (English) Zbl 1380.68008 Formal Asp. Comput. 30, No. 1, 1 (2018). MSC: 68-06 68N30 68Q60 00B25 PDFBibTeX XMLCite \textit{E. Denney} (ed.) et al., Formal Asp. Comput. 30, No. 1, 1 (2018; Zbl 1380.68008) Full Text: DOI
Soltys, Michael An introduction to the analysis of algorithms. 3rd updated and revised edition. (English) Zbl 1393.68004 Hackensack, NJ: World Scientific (ISBN 978-981-3235-90-8/hbk; 978-981-3235-92-2/ebook). xv, 312 p. (2018). Reviewer: Abbas Mehrabian (Montréal) MSC: 68-01 68N30 68Q25 68W40 PDFBibTeX XMLCite \textit{M. Soltys}, An introduction to the analysis of algorithms. 3rd updated and revised edition. Hackensack, NJ: World Scientific (2018; Zbl 1393.68004) Full Text: DOI
Tjoa, A Min (ed.); Bellatreche, Ladjel (ed.); Biffl, Stefan (ed.); van Leeuwen, Jan (ed.); Wiedermann, Jiří (ed.) SOFSEM 2018: theory and practice of computer science. 44th international conference on current trends in theory and practice of computer science, Krems, Austria, January 29 – February 2, 2018. Proceedings. (English) Zbl 1409.68026 Lecture Notes in Computer Science 10706. Cham: Springer (ISBN 978-3-319-73116-2/pbk; 978-3-319-73117-9/ebook). xv, 698 p. (2018). MSC: 68-06 68Nxx 68Qxx 00B25 PDFBibTeX XMLCite \textit{A M. Tjoa} (ed.) et al., SOFSEM 2018: theory and practice of computer science. 44th international conference on current trends in theory and practice of computer science, Krems, Austria, January 29 -- February 2, 2018. Proceedings. Cham: Springer (2018; Zbl 1409.68026) Full Text: DOI
Foerster, Klaus-Tycho; Luedi, Thomas; Seidel, Jochen; Wattenhofer, Roger Local checkability, no strings attached: (a)cyclicity, reachability, loop free updates in SDNs. (English) Zbl 1382.68017 Theor. Comput. Sci. 709, 48-63 (2018). MSC: 68M10 68R10 68W15 PDFBibTeX XMLCite \textit{K.-T. Foerster} et al., Theor. Comput. Sci. 709, 48--63 (2018; Zbl 1382.68017) Full Text: DOI
Bento, Lucila M. S.; Boccardo, Davidson R.; Machado, Raphael C. S.; Pereira de Sá, Vinícius G.; Szwarcfiter, Jayme Luiz On the resilience of canonical reducible permutation graphs. (English) Zbl 1376.05064 Discrete Appl. Math. 234, 32-46 (2018). MSC: 05C20 05C99 68R10 68P25 PDFBibTeX XMLCite \textit{L. M. S. Bento} et al., Discrete Appl. Math. 234, 32--46 (2018; Zbl 1376.05064) Full Text: DOI
Paviotti, Marco; Bengtson, Jesper Formally verifying exceptions for low-level code with separation logic. (English) Zbl 1382.68053 J. Log. Algebr. Methods Program. 94, 1-14 (2018). MSC: 68N30 03B70 68Q60 68T15 PDFBibTeX XMLCite \textit{M. Paviotti} and \textit{J. Bengtson}, J. Log. Algebr. Methods Program. 94, 1--14 (2018; Zbl 1382.68053) Full Text: DOI Link
Rubio-Sánchez, Manuel Introduction to recursive programming. (English) Zbl 1383.68001 Boca Raton, FL: CRC Press (ISBN 978-1-138-10521-8/hbk; 978-1-4987-3528-5/pbk; 978-1-4987-3530-8/ebook). xxxix, 410 p. (2018). Reviewer: T. C. Mohan (Chennai) MSC: 68-01 68N01 PDFBibTeX XMLCite \textit{M. Rubio-Sánchez}, Introduction to recursive programming. Boca Raton, FL: CRC Press (2018; Zbl 1383.68001) Full Text: Link
Bhardwaj, Shikhar; Curtin, Ryan R.; Edel, Marcus; Mentekidis, Yannis; Sanderson, Conrad ensmallen: a flexible C++ library for efficient function optimization. arXiv:1810.09361 Preprint, arXiv:1810.09361 [cs.MS] (2018). MSC: 65K10 68N99 68W99 90C53 BibTeX Cite \textit{S. Bhardwaj} et al., ``ensmallen: a flexible C++ library for efficient function optimization'', Preprint, arXiv:1810.09361 [cs.MS] (2018) Full Text: DOI arXiv OA License
Johnson, Gabriel; Spiroff, Sandra Automating the Calculation of Hilbert-Kunz Multiplicities and F-Signatures. arXiv:1810.01504 Preprint, arXiv:1810.01504 [math.AC] (2018). MSC: 68-04 13-04 15A39 BibTeX Cite \textit{G. Johnson} and \textit{S. Spiroff}, ``Automating the Calculation of Hilbert-Kunz Multiplicities and F-Signatures'', Preprint, arXiv:1810.01504 [math.AC] (2018) Full Text: arXiv OA License
Okudono, Takamasa; Nishida, Yuki; Kojima, Kensuke; Suenaga, Kohei; Kido, Kengo; Hasuo, Ichiro Sharper and simpler nonlinear interpolants for program verification. (English) Zbl 1503.68184 Chang, Bor-Yuh Evan (ed.), Programming languages and systems. 15th Asian symposium, APLAS 2017, Suzhou, China, November 27–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10695, 491-513 (2017). MSC: 68Q60 03B70 03C40 14P05 68N30 PDFBibTeX XMLCite \textit{T. Okudono} et al., Lect. Notes Comput. Sci. 10695, 491--513 (2017; Zbl 1503.68184) Full Text: DOI arXiv
Matache, Cristina; Gomes, Victor B. F.; Mulligan, Dominic P. Programming and proving with classical types. (English) Zbl 1503.68046 Chang, Bor-Yuh Evan (ed.), Programming languages and systems. 15th Asian symposium, APLAS 2017, Suzhou, China, November 27–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10695, 215-234 (2017). MSC: 68N30 03B40 03B70 68N18 68V15 PDFBibTeX XMLCite \textit{C. Matache} et al., Lect. Notes Comput. Sci. 10695, 215--234 (2017; Zbl 1503.68046) Full Text: DOI
Kimura, Daisuke; Tatsuta, Makoto Decision procedure for entailment of symbolic heaps with arrays. (English) Zbl 1503.68045 Chang, Bor-Yuh Evan (ed.), Programming languages and systems. 15th Asian symposium, APLAS 2017, Suzhou, China, November 27–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10695, 169-189 (2017). MSC: 68N30 03B70 PDFBibTeX XMLCite \textit{D. Kimura} and \textit{M. Tatsuta}, Lect. Notes Comput. Sci. 10695, 169--189 (2017; Zbl 1503.68045) Full Text: DOI arXiv
Faz-Hernández, Armando; Fujii, Hayato; Aranha, Diego F.; López, Julio A secure and efficient implementation of the quotient digital signature algorithm (qDSA). (English) Zbl 1506.94079 Ali, Sk Subidh (ed.) et al., Security, privacy, and applied cryptography engineering. 7th international conference, SPACE 2017, Goa, India, December 13–17, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10662, 170-189 (2017). MSC: 94A62 94A60 68P25 PDFBibTeX XMLCite \textit{A. Faz-Hernández} et al., Lect. Notes Comput. Sci. 10662, 170--189 (2017; Zbl 1506.94079) Full Text: DOI
Steinhöfel, Dominic; Wasser, Nathan A new invariant rule for the analysis of loops with non-standard control flows. (English) Zbl 1498.68083 Polikarpova, Nadia (ed.) et al., Integrated formal methods. 13th international conference, IFM 2017, Turin, Italy, September 20–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10510, 279-294 (2017). MSC: 68N30 03B70 PDFBibTeX XMLCite \textit{D. Steinhöfel} and \textit{N. Wasser}, Lect. Notes Comput. Sci. 10510, 279--294 (2017; Zbl 1498.68083) Full Text: DOI
Owe, Olaf; Ramezanifarkhani, Toktam; Fazeldehkordi, Elahe Hoare-style reasoning from multiple contracts. (English) Zbl 1498.68168 Polikarpova, Nadia (ed.) et al., Integrated formal methods. 13th international conference, IFM 2017, Turin, Italy, September 20–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10510, 263-278 (2017). MSC: 68Q60 03B70 68N30 PDFBibTeX XMLCite \textit{O. Owe} et al., Lect. Notes Comput. Sci. 10510, 263--278 (2017; Zbl 1498.68168) Full Text: DOI
Gomes, Leandro; Madeira, Alexandre; Barbosa, Luís S. On Kleene algebras for weighted computation. (English) Zbl 1498.68075 Cavalheiro, Simone (ed.) et al., Formal methods: foundations and applications. 20th Brazilian symposium, SBMF 2017, Recife, Brazil, November 29 – December 1, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10623, 271-286 (2017). MSC: 68N30 03B70 PDFBibTeX XMLCite \textit{L. Gomes} et al., Lect. Notes Comput. Sci. 10623, 271--286 (2017; Zbl 1498.68075) Full Text: DOI
Boubekki, Ahcène; Brefeld, Ulf; Lucchesi, Cláudio Leonardo; Stille, Wolfgang Propagating maximum capacities for recommendation. (English) Zbl 1498.68310 Kern-Isberner, Gabriele (ed.) et al., KI 2017: advances in artificial intelligence. 40th annual German conference on AI, Dortmund, Germany, September 25–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10505, 72-84 (2017). MSC: 68T35 68R10 68W27 PDFBibTeX XMLCite \textit{A. Boubekki} et al., Lect. Notes Comput. Sci. 10505, 72--84 (2017; Zbl 1498.68310) Full Text: DOI
Quang Loc Le; Tatsuta, Makoto; Sun, Jun; Chin, Wei-Ngan A decidable fragment in separation logic with inductive predicates and arithmetic. (English) Zbl 1497.03048 Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10427, 495-517 (2017). MSC: 03B70 03B25 68N30 PDFBibTeX XMLCite \textit{Quang Loc Le} et al., Lect. Notes Comput. Sci. 10427, 495--517 (2017; Zbl 1497.03048) Full Text: DOI Link
Windsor, Matt; Dodds, Mike; Simner, Ben; Parkinson, Matthew J. Starling: lightweight concurrency verification with views. (English) Zbl 1494.68065 Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10426, 544-569 (2017). MSC: 68N30 03B70 68N19 68Q60 68Q85 PDFBibTeX XMLCite \textit{M. Windsor} et al., Lect. Notes Comput. Sci. 10426, 544--569 (2017; Zbl 1494.68065) Full Text: DOI
Albarghouthi, Aws; D’Antoni, Loris; Drews, Samuel Repairing decision-making programs under uncertainty. (English) Zbl 1494.68046 Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10426, 181-200 (2017). MSC: 68N30 68Q87 68T05 PDFBibTeX XMLCite \textit{A. Albarghouthi} et al., Lect. Notes Comput. Sci. 10426, 181--200 (2017; Zbl 1494.68046) Full Text: DOI
Vafeiadis, Viktor Program verification under weak memory consistency using separation logic. (English) Zbl 1494.68175 Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10426, 30-46 (2017). MSC: 68Q60 03B70 68N30 68Q85 PDFBibTeX XMLCite \textit{V. Vafeiadis}, Lect. Notes Comput. Sci. 10426, 30--46 (2017; Zbl 1494.68175) Full Text: DOI
Dimovski, Aleksandar S. Probabilistic analysis based on symbolic game semantics and model counting. (English) Zbl 1483.68077 Bouyer, Patricia (ed.) et al., Proceedings of the eighth international symposium on games, automata, logics and formal verification, GandALF 2017, Roma, Italy, September 20–22, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 256, 1-15 (2017). MSC: 68N30 68Q55 68Q60 68Q87 91A80 PDFBibTeX XMLCite \textit{A. S. Dimovski}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 256, 1--15 (2017; Zbl 1483.68077) Full Text: arXiv Link
Díaz, Irene (ed.); Fernández-Luna, Juan M. (ed.) New trends in information access. (English) Zbl 1469.68006 Int. J. Uncertain. Fuzziness Knowl.-Based Syst. 25, Suppl. 2, 1-3 (2017). MSC: 68-06 68T35 00B25 PDFBibTeX XMLCite \textit{I. Díaz} (ed.) and \textit{J. M. Fernández-Luna} (ed.), Int. J. Uncertain. Fuzziness Knowl.-Based Syst. 25, 1--3 (2017; Zbl 1469.68006) Full Text: DOI
Petković, Ivan; Rajković, Petar; Milenković, Aleksandar On the characterization of tasks modeled by interval design structure matrix on domain-driven design software development. (English) Zbl 1488.90117 Facta Univ., Ser. Math. Inf. 32, No. 2, 181-193 (2017). MSC: 90B99 15B15 65G30 90-08 PDFBibTeX XMLCite \textit{I. Petković} et al., Facta Univ., Ser. Math. Inf. 32, No. 2, 181--193 (2017; Zbl 1488.90117) Full Text: DOI
Kozachok, A. V. Formal logical language to set requirements for secure code execution. (English) Zbl 1455.68044 Program. Comput. Softw. 43, No. 5, 314-319 (2017). MSC: 68N30 03B70 68M25 PDFBibTeX XMLCite \textit{A. V. Kozachok}, Program. Comput. Softw. 43, No. 5, 314--319 (2017; Zbl 1455.68044) Full Text: DOI
Feldman, Yotam M. Y.; Padon, Oded; Immerman, Neil; Sagiv, Mooly; Shoham, Sharon Bounded quantifier instantiation for checking inductive invariants. (English) Zbl 1452.68119 Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 76-95 (2017). MSC: 68Q60 03B70 68N30 PDFBibTeX XMLCite \textit{Y. M. Y. Feldman} et al., Lect. Notes Comput. Sci. 10205, 76--95 (2017; Zbl 1452.68119) Full Text: DOI arXiv
Parikh, Rohit Parikh’s closing remarks. (English) Zbl 1437.03004 Başkent, Can (ed.) et al., Rohit Parikh on logic, language and society. Cham: Springer. Outst. Contrib. Log. 11, 349-352 (2017). MSC: 03-03 01A70 68-03 PDFBibTeX XMLCite \textit{R. Parikh}, Outst. Contrib. Log. 11, 349--352 (2017; Zbl 1437.03004) Full Text: DOI
Başkent, Can A non-classical logical approach to social software. (English) Zbl 1437.03115 Başkent, Can (ed.) et al., Rohit Parikh on logic, language and society. Cham: Springer. Outst. Contrib. Log. 11, 91-109 (2017). MSC: 03B70 03B53 68N30 PDFBibTeX XMLCite \textit{C. Başkent}, Outst. Contrib. Log. 11, 91--109 (2017; Zbl 1437.03115) Full Text: DOI
van Eijck, Jan; Elsas, Philip What is money? (English) Zbl 1437.03038 Başkent, Can (ed.) et al., Rohit Parikh on logic, language and society. Cham: Springer. Outst. Contrib. Log. 11, 67-75 (2017). MSC: 03A10 91B64 PDFBibTeX XMLCite \textit{J. van Eijck} and \textit{P. Elsas}, Outst. Contrib. Log. 11, 67--75 (2017; Zbl 1437.03038) Full Text: DOI
Datta, Samir; Mukherjee, Anish; Schwentick, Thomas; Vortmeier, Nils; Zeume, Thomas A strategy for dynamic programs: start over and muddle through. (English) Zbl 1442.68033 Chatzigiannakis, Ioannis (ed.) et al., 44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 80, Article 98, 14 p. (2017). MSC: 68N30 03B70 68P15 68R10 PDFBibTeX XMLCite \textit{S. Datta} et al., LIPIcs -- Leibniz Int. Proc. Inform. 80, Article 98, 14 p. (2017; Zbl 1442.68033) Full Text: DOI
Rauch, Christoph; Goncharov, Sergey; Schröder, Lutz Generic Hoare logic for order-enriched effects with exceptions. (English) Zbl 1496.68117 James, Phillip (ed.) et al., Recent trends in algebraic development techniques. 23rd IFIP WG 1.3 international workshop, WADT 2016, Gregynog, UK, September 21–24, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10644, 208-222 (2017). MSC: 68N30 03B70 68Q55 PDFBibTeX XMLCite \textit{C. Rauch} et al., Lect. Notes Comput. Sci. 10644, 208--222 (2017; Zbl 1496.68117) Full Text: DOI HAL
Hennicker, Rolf; Madeira, Alexandre Observational semantics for dynamic logic with binders. (English) Zbl 1496.68109 James, Phillip (ed.) et al., Recent trends in algebraic development techniques. 23rd IFIP WG 1.3 international workshop, WADT 2016, Gregynog, UK, September 21–24, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10644, 135-152 (2017). MSC: 68N30 03B70 68Q55 PDFBibTeX XMLCite \textit{R. Hennicker} and \textit{A. Madeira}, Lect. Notes Comput. Sci. 10644, 135--152 (2017; Zbl 1496.68109) Full Text: DOI HAL
Bakhirkin, Alexey; Monniaux, David Combining forward and backward abstract interpretation of Horn clauses. (English) Zbl 1420.68062 Ranzato, Francesco (ed.), Static analysis. 24th international symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10422, 23-45 (2017). MSC: 68N30 03B70 PDFBibTeX XMLCite \textit{A. Bakhirkin} and \textit{D. Monniaux}, Lect. Notes Comput. Sci. 10422, 23--45 (2017; Zbl 1420.68062) Full Text: DOI arXiv
Albarghouthi, Aws Probabilistic Horn clause verification. (English) Zbl 1420.68059 Ranzato, Francesco (ed.), Static analysis. 24th international symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10422, 1-22 (2017). MSC: 68N30 03B70 68Q60 PDFBibTeX XMLCite \textit{A. Albarghouthi}, Lect. Notes Comput. Sci. 10422, 1--22 (2017; Zbl 1420.68059) Full Text: DOI
Nguyen, Thanh-Son; Lauw, Hady W.; Tsaparas, Panayiotis Micro-review synthesis for multi-entity summarization. (English) Zbl 1411.68152 Data Min. Knowl. Discov. 31, No. 5, 1189-1217 (2017). MSC: 68T35 05C82 68R10 91D30 PDFBibTeX XMLCite \textit{T.-S. Nguyen} et al., Data Min. Knowl. Discov. 31, No. 5, 1189--1217 (2017; Zbl 1411.68152) Full Text: DOI Link
Amen, Saeed Using Python to analyse financial markets. (English) Zbl 1420.91538 Ehrhardt, Matthias (ed.) et al., Novel methods in computational finance. Cham: Springer. Math. Ind. 25, 543-559 (2017). MSC: 91G99 91-04 PDFBibTeX XMLCite \textit{S. Amen}, Math. Ind. 25, 543--559 (2017; Zbl 1420.91538) Full Text: DOI
New, Max S.; Fetscher, Burke; Findler, Robert Bruce; McCarthy, Jay Fair enumeration combinators. (English) Zbl 1476.68065 J. Funct. Program. 27, Paper No. e19, 29 p. (2017). MSC: 68N30 05A15 68R05 PDFBibTeX XMLCite \textit{M. S. New} et al., J. Funct. Program. 27, Paper No. e19, 29 p. (2017; Zbl 1476.68065) Full Text: DOI
Barthe, Gilles; Espitau, Thomas; Grégoire, Benjamin; Hsu, Justin; Strub, Pierre-Yves Proving uniformity and independence by self-composition and coupling. (English) Zbl 1403.68140 Eiter, Thomas (ed.) et al., LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Manchester: EasyChair. EPiC Series in Computing 46, 385-403 (2017). MSC: 68Q87 03B70 68N30 68T15 PDFBibTeX XMLCite \textit{G. Barthe} et al., EPiC Ser. Comput. 46, 385--403 (2017; Zbl 1403.68140) Full Text: DOI arXiv
Bruni, Roberto; Montanari, Ugo Models of computation. (English) Zbl 1480.68001 Texts in Theoretical Computer Science. An EATCS Series. Cham: Springer (ISBN 978-3-319-42898-7/hbk; 978-3-319-82689-9/pbk; 978-3-319-42900-7/ebook). xxii, 395 p. (2017). MSC: 68-01 68N15 68N30 68Q04 68Q10 68Q55 68Q85 68Q87 PDFBibTeX XMLCite \textit{R. Bruni} and \textit{U. Montanari}, Models of computation. Cham: Springer (2017; Zbl 1480.68001) Full Text: DOI
Heinle, Albert; Levandovskyy, Viktor Factorization of \( \mathbb {Z}\)-homogeneous polynomials in the first \(q\)-Weyl algebra. (English) Zbl 1400.16001 Böckle, Gebhard (ed.) et al., Algorithmic and experimental methods in algebra, geometry, and number theory. Cham: Springer (ISBN 978-3-319-70565-1/hbk; 978-3-319-70566-8/ebook). 455-480 (2017). MSC: 16-04 68W30 16Z05 68-04 68W40 PDFBibTeX XMLCite \textit{A. Heinle} and \textit{V. Levandovskyy}, in: Algorithmic and experimental methods in algebra, geometry, and number theory. Cham: Springer. 455--480 (2017; Zbl 1400.16001) Full Text: DOI arXiv
Böhm, Janko; Decker, Wolfram; Laplagne, Santiago; Pfister, Gerhard Local to global algorithms for the Gorenstein adjoint ideal of a curve. (English) Zbl 1402.14076 Böckle, Gebhard (ed.) et al., Algorithmic and experimental methods in algebra, geometry, and number theory. Cham: Springer (ISBN 978-3-319-70565-1/hbk; 978-3-319-70566-8/ebook). 51-96 (2017). MSC: 14Q05 14H20 14H50 68W10 14-04 13P10 PDFBibTeX XMLCite \textit{J. Böhm} et al., in: Algorithmic and experimental methods in algebra, geometry, and number theory. Cham: Springer. 51--96 (2017; Zbl 1402.14076) Full Text: DOI arXiv
Larsen, Kim G. (ed.); Sokolsky, Oleg (ed.); Wang, Ji (ed.) Dependable software engineering. Theories, tools, and applications. Third international symposium, SETTA 2017, Changsha, China, October 23–25, 2017. Proceedings. (English) Zbl 1398.68033 Lecture Notes in Computer Science 10606. Cham: Springer (ISBN 978-3-319-69482-5/pbk; 978-3-319-69483-2/ebook). xviii, 351 p. (2017). MSC: 68-06 68Nxx 68Qxx 00B25 PDFBibTeX XMLCite \textit{K. G. Larsen} (ed.) et al., Dependable software engineering. Theories, tools, and applications. Third international symposium, SETTA 2017, Changsha, China, October 23--25, 2017. Proceedings. Cham: Springer (2017; Zbl 1398.68033) Full Text: DOI
Carnielli, Walter; Lima-Marques, Mamede Society semantics and the logic way to collective intelligence. (English) Zbl 1398.03052 J. Appl. Non-Class. Log. 27, No. 3-4, 255-268 (2017). MSC: 03A10 03B50 03B53 03B60 68T30 PDFBibTeX XMLCite \textit{W. Carnielli} and \textit{M. Lima-Marques}, J. Appl. Non-Class. Log. 27, No. 3--4, 255--268 (2017; Zbl 1398.03052) Full Text: DOI
Cho, Kenta; Jacobs, Bart The EfProb library for probabilistic calculations. (English) Zbl 1433.68266 Bonchi, Filippo (ed.) et al., 7th conference on algebra and coalgebra in computer science, CALCO 2017, June 14–16, 2017, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 72, Article 25, 8 p. (2017). MSC: 68Q87 18C20 68-04 PDFBibTeX XMLCite \textit{K. Cho} and \textit{B. Jacobs}, LIPIcs -- Leibniz Int. Proc. Inform. 72, Article 25, 8 p. (2017; Zbl 1433.68266) Full Text: DOI
Bannach, Max; Berndt, Sebastian; Ehlers, Thorsten Jdrasil: a modular library for computing tree decompositions. (English) Zbl 1433.68275 Iliopoulos, Costas S. (ed.) et al., 16th international symposium on experimental algorithms, SEA 2017, London, UK, June 21–23, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 75, Article 28, 21 p. (2017). MSC: 68R10 68-04 68W99 PDFBibTeX XMLCite \textit{M. Bannach} et al., LIPIcs -- Leibniz Int. Proc. Inform. 75, Article 28, 21 p. (2017; Zbl 1433.68275) Full Text: DOI
Karbyshev, Aleksandr; Bjørner, Nikolaj; Itzhaky, Shachar; Rinetzky, Noam; Shoham, Sharon Property-directed inference of universal invariants or proving their absence. (English) Zbl 1426.68050 J. ACM 64, No. 1, Article No. 7, 33 p. (2017). MSC: 68N30 03B70 PDFBibTeX XMLCite \textit{A. Karbyshev} et al., J. ACM 64, No. 1, Article No. 7, 33 p. (2017; Zbl 1426.68050) Full Text: DOI
Dalla Preda, Mila; Vidali, Vanessa Abstract similarity analysis. (English) Zbl 1412.68037 Mastroeni, Isabella (ed.), Proceedings of the 6th international workshop on numerical and symbolic abstract domains, NSAD 2016, Edinburgh, UK, September 11, 2016. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 331, 87-99 (2017). MSC: 68N30 68Q60 68R10 PDFBibTeX XMLCite \textit{M. Dalla Preda} and \textit{V. Vidali}, Electron. Notes Theor. Comput. Sci. 331, 87--99 (2017; Zbl 1412.68037) Full Text: DOI
Laaksonen, Antti Guide to competitive programming. Learning and improving algorithms through contests. 3rd edition. (English) Zbl 1390.68004 Undergraduate Topics in Computer Science. Cham: Springer (ISBN 978-3-319-72546-8/pbk; 978-3-319-72547-5/ebook). xii, 283 p. (2017). MSC: 68-01 68N01 68Wxx PDFBibTeX XMLCite \textit{A. Laaksonen}, Guide to competitive programming. Learning and improving algorithms through contests. 3rd edition. Cham: Springer (2017; Zbl 1390.68004) Full Text: DOI
Vinkó, Tamás; Gelle, Kitti Basin hopping networks of continuous global optimization problems. (English) Zbl 1390.90127 CEJOR, Cent. Eur. J. Oper. Res. 25, No. 4, 985-1006 (2017). MSC: 90B10 90C35 90C26 90C56 PDFBibTeX XMLCite \textit{T. Vinkó} and \textit{K. Gelle}, CEJOR, Cent. Eur. J. Oper. Res. 25, No. 4, 985--1006 (2017; Zbl 1390.90127) Full Text: DOI Link
Qin, Shengchao; Xu, Zhiwu; Ming, Zhong Survey of research on program verification via separation logic. (Chinese. English summary) Zbl 1399.68031 J. Softw. 28, No. 8, 2010-2025 (2017). MSC: 68N30 03B70 68Q60 68-02 PDFBibTeX XMLCite \textit{S. Qin} et al., J. Softw. 28, No. 8, 2010--2025 (2017; Zbl 1399.68031) Full Text: DOI