Muutke küpsiste eelistusi

E-raamat: Programming Languages and Systems: 23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27-30, 2025, Proceedings

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.
Programming Languages and Systems: 23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27-30, 2025, 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 proceedings of the 23nd Asian Symposium on Programming Languages and Systems, APLAS 2025, held in Bengaluru, India, October 2730, 2025.



The 13 full papers presented here were carefully reviewed and selected from 28 submissions.They were focused on the following topical sections: Type Systems, Safety, and Verification; Control, Effects, and Decidability; Quantum Programming and Logic; Program Analysis, Specifications, and Decision Procedures; AI and Compiler Optimisation for Performance.
.- Type Systems, Safety, and Verification.
.- Memory Safety: Uniqueness as Separation.
.- Fair Termination for Resource-Aware Active Objects.
.- A Formal Foundation for Equational Reasoning on Probabilistic Programs.
.- Control, Effects, and Decidability.
.- Reachability is Decidable for ATM-Typable Finitary PCF with Effect
Handlers.
.- Expressive Power of One-Shot Control Operators and Coroutines.
.- Positive Sharing and Abstract Machines.
.- Quantum Programming and Logic.
.- IMALL with a Mixed-State Modality: A Logical Approach to Quantum
Computation.
.- A Quantum-Control Lambda-Calculus with Multiple Measurement Bases.
.- Program Analysis, Specifications, and Decision Procedures.
.- Checking Consistency of Event-driven Traces.
.- Specification Inference modulo Oracles for Database-backed Web
Applications.
.- Decision Procedures for A Theory of String Sequences.
.- AI and Compiler Optimisation for Performance.
.- ELTC: An End-to-End Large Language Model-Based Tensor Compilation
Optimization Framework.
.- Performance Optimization of HPC Workloads in Cloud Using AI-Driven
Algorithms.
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97898195358592e.html