Atnaujinkite slapukų nuostatas

El. knyga: Static Analysis: 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings

Edited by , Edited by
  • Formatas: EPUB+DRM
  • Serija: Lecture Notes in Computer Science 14995
  • Išleidimo metai: 20-Jan-2025
  • Leidėjas: Springer International Publishing AG
  • Kalba: eng
  • ISBN-13: 9783031747762
Kitos knygos pagal šią temą:
Static Analysis: 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, ProceedingsDidesnis paveikslėlis
  • Formatas: EPUB+DRM
  • Serija: Lecture Notes in Computer Science 14995
  • Išleidimo metai: 20-Jan-2025
  • Leidėjas: Springer International Publishing AG
  • Kalba: eng
  • ISBN-13: 9783031747762
Kitos knygos pagal šią temą:

DRM apribojimai

  • Kopijuoti:

    neleidžiama

  • Spausdinti:

    neleidžiama

  • El. knygos naudojimas:

    Skaitmeninių teisių valdymas (DRM)
    Leidykla pateikė šią knygą šifruota forma, o tai reiškia, kad norint ją atrakinti ir perskaityti reikia įdiegti nemokamą programinę įrangą. Norint skaityti šią el. knygą, turite susikurti Adobe ID . Daugiau informacijos  čia. El. knygą galima atsisiųsti į 6 įrenginius (vienas vartotojas su tuo pačiu Adobe ID).

    Reikalinga programinė įranga
    Norint skaityti šią el. knygą mobiliajame įrenginyje (telefone ar planšetiniame kompiuteryje), turite įdiegti šią nemokamą programėlę: PocketBook Reader (iOS / Android)

    Norint skaityti šią el. knygą asmeniniame arba „Mac“ kompiuteryje, Jums reikalinga  Adobe Digital Editions “ (tai nemokama programa, specialiai sukurta el. knygoms. Tai nėra tas pats, kas „Adobe Reader“, kurią tikriausiai jau turite savo kompiuteryje.)

    Negalite skaityti šios el. knygos naudodami „Amazon Kindle“.

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.
Daugiau apie elektronines knygas Daugiau apie elektronines knygas
Pastovi nuoroda: https://www.kriso.lt/db/97830317477626e.html