Programming Languages and Systems

.- 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.

• Erscheinungsdatum: 30.10.2025
• Autor/Autorin: Alex Potanin
• Reihe: Computer Science
• Format: E-Book
• Dateiformat: PDF
• Kopierschutz: Wasserzeichen
• Dateigröße: 14.3 MB
• Verlag: SPRINGER
• Sprache: Englisch
• Umfang: 276 Seiten
• ISBN: 9789819535859
• Lieferung: Sofort per Download
• Hinweis: Sofort per Download lieferbar. Kein physischer Versand.
• Kompatibilität: Lesbar auf Geräten und Apps mit PDF-Unterstützung.