Opening book details…
Can I read Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings (Lecture Notes in Computer Science) on EtoBox?
Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings (Lecture Notes in Computer Science) 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 (Lecture Notes in Computer Science) 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 (Lecture Notes in Computer Science)?
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
- 9783030888060
- 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: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings (Lecture Notes in Computer Science) — Rastislav Bodik (auth.), Jens Palsberg, Zhendong Su (2009)
- Static Analysis: 15th International Symposium, Sas 2008, Valencia, Spain, July 16-18, 2008, Proceedings (lecture Notes In Computer Science) — Roberto Giacobazzi, Isabella Mastroeni (auth.), María Alpuente, Germán Vidal (2008)
- 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)