Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings, Drăgoi Cezara, Mukherjee Suvam, Namjoshi Kedar

Автор: Sandrine Blazy; Thomas Jensen
Название: Static Analysis
ISBN: 3662482878 ISBN-13(EAN): 9783662482872
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 22nd International Static Analysis Symposium, SAS 2015, held in Saint-Malo, France, in September 2015. The 18 papers presented in this volume were carefully reviewed and selected from 44 submissions.

Автор: Agostino Cortesi; Gilberto File
Название: Static Analysis
ISBN: 3540664599 ISBN-13(EAN): 9783540664598
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In the text, topics include sections on synchronization in Java programs, synchronous languages, abstract domains, concurrency, static single assignment and foundations.

Автор: Pichardie David, Sighireanu Mihaela
Название: Static Analysis: 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings
ISBN: 3030654737 ISBN-13(EAN): 9783030654733
Издательство: Springer
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Polynomial Invariants for Affine Programs.- Cost Analysis of Smart Contracts via Parametric Resource Analysis.- Memory-Efficient Fixpoint Computation.- Abstract Neural Networks.- Termination of Polynomial Loops.- Stratified Guarded First-order Transition Systems.- Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking.- Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis.- Harming Dynamic Analysis.- Simple and Efficient Computation of Minimal Weak Control Closure.- A Library Modeling Language for the Static Analysis of C Programs.- Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries.- Probabilistic Lipschitz Analysis of Neural Networks.- On Multi-Language Abstraction: Towards a Static Analysis of Multi-Language Programs.- Exact and Linear-Time Gas-Cost Analysis.- Farkas-Based Tree Interpolation.

Автор: Pascal van Hentenryck
Название: Static Analysis
ISBN: 3540634681 ISBN-13(EAN): 9783540634683
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These refereed proceedings of the fourth International Symposium on Static Analysis are organized in topical sections on procedural languages, logic programming, concurrency and termination.

Автор: Erkan Topal
Название: Proceedings of the 28th International Symposium on Mine Planning and Equipment Selection - MPES 2019
ISBN: 303033953X ISBN-13(EAN): 9783030339531
Издательство: Springer
Рейтинг:
Цена: 27950.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This conference proceedings presents the research papers in the field of mine planning and mining equipment including themes such as mine automation, rock mechanics, drilling, blasting, tunnelling and excavation engineering.

Автор: Francesco Logozzo; Manuel F?hndrich
Название: Static Analysis
ISBN: 3642388558 ISBN-13(EAN): 9783642388552
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, new applications, program transformation, program verification, security analysis, theoretical frameworks, and type checking.

Автор: Jens Palsberg; Zhendong Su
Название: Static Analysis
ISBN: 3642032362 ISBN-13(EAN): 9783642032363
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers address all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimizations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type based analysis, and verification systems.

Автор: Andreas Podelski
Название: Static Analysis
ISBN: 3319997246 ISBN-13(EAN): 9783319997247
Издательство: Springer
Рейтинг:
Цена: 10340.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 2018.

Автор: Bor-Yuh Evan Chang
Название: Static Analysis
ISBN: 303032303X ISBN-13(EAN): 9783030323035
Издательство: Springer
Рейтинг:
Цена: 10340.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 26th International Symposium on Static Analysis, SAS 2019, held in Porto, Portugal, in October 2019. The 20 regular papers presented in this book were carefully reviewed and selected from 50 submissions. The papers are grouped in topical sections on pointers and dataflow;

Автор: Markus M?ller-Olm; Helmut Seidl
Название: Static Analysis
ISBN: 3319109359 ISBN-13(EAN): 9783319109350
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking.

Автор: Francesco Ranzato
Название: Static Analysis
ISBN: 331966705X ISBN-13(EAN): 9783319667058
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 24th International Static Analysis Symposium, SAS 2017, held in New York, NY, USA, in August/September 2017.

Автор: Rival
Название: Static Analysis
ISBN: 3662534126 ISBN-13(EAN): 9783662534120
Издательство: Springer
Рейтинг:
Цена: 9224.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 23rd International Static Analysis Symposium, SAS 2016, held in Edinburgh, UK, in September 2016. The 21 papers presented in this volume were carefully reviewed and selected from 55 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains; abstract interpretation; abstract testing; bug detection; data flow analysis; model checking; new applications; program transformation; program verification; security analysis; theoretical frameworks; and type checking.