Muutke küpsiste eelistusi

Static Analysis: 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 2022, 2024, Proceedings 2024 ed. [Pehme köide]

Edited by , Edited by
  • Formaat: Paperback / softback, 464 pages, kõrgus x laius: 235x155 mm, 103 Illustrations, color; 52 Illustrations, black and white; X, 464 p. 155 illus., 103 illus. in color., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 14995
  • Ilmumisaeg: 21-Jan-2025
  • Kirjastus: Springer International Publishing AG
  • ISBN-10: 3031747755
  • ISBN-13: 9783031747755
Teised raamatud teemal:
  • Pehme köide
  • Hind: 70,93 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 83,45 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
Static Analysis: 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 2022, 2024, Proceedings 2024 ed.Suurem pilt
  • Formaat: Paperback / softback, 464 pages, kõrgus x laius: 235x155 mm, 103 Illustrations, color; 52 Illustrations, black and white; X, 464 p. 155 illus., 103 illus. in color., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 14995
  • Ilmumisaeg: 21-Jan-2025
  • Kirjastus: Springer International Publishing AG
  • ISBN-10: 3031747755
  • ISBN-13: 9783031747755
Teised raamatud teemal:
Püsilink: https://www.kriso.ee/db/9783031747755.html
Märksõnad:
This book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, in October 2024. 





Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers presented in this book deal with theoretical, practical and application advances in this area.





The 18 papers included here were carefully reviewed and selected from 45 submissions. 





 
Static Analysis of Quantum Programs.- Trace Partitioning as an
Optimization Problem.- On the Role of Cognizance in
Responsibility.- Lift-offline: Instruction Lifter Generators.- Full
Control-Flow Sensitivity for Definitional Interpreters.- Synthesizing
Abstract Transformers for Reduced-Product Domains.- Abstract Interpretation
of ReLU Neural Networks with Optimizable Polynomial Relaxations.- Should We
Balance? Towards Formal Verification of the Linux Kernel Scheduler.- GoGuard:
Efficient Static Blocking Bug Detection for Go.- Verification of programs
with ADTs using Shallow Horn Clauses.- Quantitative Static Timing
Analysis.- Under-approximating Memory Abstractions.- Robustness Verification
of Multi-Label Neural Network Classifiers.- An Order Theory Framework of
Recurrence Equations for Static Cost Analysis Dynamic Inference of
Non-Linear Inequality Invariants.- Fixing Latent Unsound Abstract Operators
in the eBPF Verifier of the Linux Kernel.- ConstraintFlow: A Declarative DSL
for Easy Development of DNN Certifiers.- BinSub: The Simple Essence of
Polymorphic Type Inference for Machine Code.- Verifying components of Arm®
Confidential Computing Architecture with ESBMC.