Opening book details…
Can I read Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings (Programming and Software Engineering) on EtoBox?
Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings (Programming and Software Engineering) by Cezara Drăgoi (editor), Suvam Mukherjee (editor), Kedar Namjoshi (editor) is a nonfiction available to read on EtoBox.
What is Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings (Programming and Software Engineering) about?
This book constitutes the refereed proceedings of the 28th International Symposium on Static Analysis, SAS 2021, held in Chicago, IL, USA, in October 2021. The 18 regular and 4 short papers, carefully reviewed and selected from 48 submissions, are presented in this book together with 1-page summaries of the three invited talks. The papers cover topics such as static program analysis, abstract domain, abstract interpretation, automated deduction, debugging techniques, deductive methods, model checking, data science, program optimizations and transformations, program synthesis, program verification, and security analysis.
Who reads Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings (Programming and Software Engineering)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Cezara Drăgoi (editor), Suvam Mukherjee (editor), Kedar Namjoshi (editor)
- Publisher
- Springer International Publishing AG; MOXIC; Springer
- Published
- 2021
- Language
- EN
- ISBN
- 9783030888053
- Category
- nonfiction
- Subjects
- Engineering, Mathematics, Computer Science
Other editions & translations
More by Cezara Drăgoi (editor), Suvam Mukherjee (editor), Kedar Namjoshi (editor)
Browse all works by Cezara Drăgoi (editor), Suvam Mukherjee (editor), Kedar Namjoshi (editor)
Similar books
- Static Analysis: 26th International Symposium, Sas 2019, Porto, Portugal, October 8-11, 2019, Proceedings (lecture Notes In Computer Science) — Bor-Yuh Evan Chang (2019)
- Static analysis : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings — Eric Goubault (auth.), Francesco Logozzo, Manuel Fähndrich (2013)
- Static Analysis: 19th International Symposium, Sas 2012, Deauville, France, September 11-13, 2012. Proceedings (lecture Notes In Computer Science) — Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin (auth.), Antoine Miné, David Schmidt (2012)
- Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings (Lecture Notes in Computer Science Book 9291) — Thomas Jensen Sandrine Blazy (2015)
- Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings (Lecture Notes in Computer Science Book 9837) — Xavier Rival (2016)
- Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings (Lecture Notes in Computer Science Book 10422) — Francesco Ranzato,David Hutchison,Takeo Kanade,Josef Kittler,Jon M. Kleinberg,Friedemann Mattern,John C. Mitchell,Moni Naor,C. Pandu Rangan,Bernhard Steffen,Demetri Terzopoulos,Doug Tygar,Gerhard Weikum (2017)