Atjaunināt sīkdatņu piekrišanu

E-grāmata: Static Analysis: 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings

Edited by , Edited by
  • Formāts: PDF+DRM
  • Sērija : Lecture Notes in Computer Science 14995
  • Izdošanas datums: 20-Jan-2025
  • Izdevniecība: Springer International Publishing AG
  • Valoda: eng
  • ISBN-13: 9783031747762
Citas grāmatas par šo tēmu:
  • Formāts - PDF+DRM
  • Cena: 77,31 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Ielikt grozā
  • Pievienot vēlmju sarakstam
  • Šī e-grāmata paredzēta tikai personīgai lietošanai. E-grāmatas nav iespējams atgriezt un nauda par iegādātajām e-grāmatām netiek atmaksāta.
Static Analysis: 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, ProceedingsPalielināt
  • Formāts: PDF+DRM
  • Sērija : Lecture Notes in Computer Science 14995
  • Izdošanas datums: 20-Jan-2025
  • Izdevniecība: Springer International Publishing AG
  • Valoda: eng
  • ISBN-13: 9783031747762
Citas grāmatas par šo tēmu:

DRM restrictions

  • Kopēšana (kopēt/ievietot):

    nav atļauts

  • Drukāšana:

    nav atļauts

  • Lietošana:

    Digitālo tiesību pārvaldība (Digital Rights Management (DRM))
    Izdevējs ir piegādājis šo grāmatu šifrētā veidā, kas nozīmē, ka jums ir jāinstalē bezmaksas programmatūra, lai to atbloķētu un lasītu. Lai lasītu šo e-grāmatu, jums ir jāizveido Adobe ID. Vairāk informācijas šeit. E-grāmatu var lasīt un lejupielādēt līdz 6 ierīcēm (vienam lietotājam ar vienu un to pašu Adobe ID).

    Nepieciešamā programmatūra
    Lai lasītu šo e-grāmatu mobilajā ierīcē (tālrunī vai planšetdatorā), jums būs jāinstalē šī bezmaksas lietotne: PocketBook Reader (iOS / Android)

    Lai lejupielādētu un lasītu šo e-grāmatu datorā vai Mac datorā, jums ir nepieciešamid Adobe Digital Editions (šī ir bezmaksas lietotne, kas īpaši izstrādāta e-grāmatām. Tā nav tas pats, kas Adobe Reader, kas, iespējams, jau ir jūsu datorā.)

    Jūs nevarat lasīt šo e-grāmatu, izmantojot 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.
Biežāk uzdotie jautājumi par e-grāmatām Biežāk uzdotie jautājumi par e-grāmatām
Permanent link: https://www.kriso.lv/db/97830317477622e.html