Programming Languages and Systems, Kartoniert / Broschiert

Klappentext

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