Muutke küpsiste eelistusi

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

Edited by , Edited by
Teised raamatud teemal:
  • Formaat - PDF+DRM
  • Hind: 80,26 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
Static Analysis: 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, ProceedingsSuurem pilt
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

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.
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97830317477622e.html