{"product_id":"programming-languages-and-systems-ebook","title":"Programming Languages and Systems","description":"\u003cp\u003e\u003cstrong\u003e.- Type Systems, Safety, and Verification.\u003c\/strong\u003e\u003cbr\u003e.- Memory Safety: Uniqueness as Separation.\u003cbr\u003e.- Fair Termination for Resource-Aware Active Objects.\u003cbr\u003e.- A Formal Foundation for Equational Reasoning on Probabilistic Programs.\u003cbr\u003e\u003cstrong\u003e.- Control, Effects, and Decidability.\u003c\/strong\u003e\u003cbr\u003e.- Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers.\u003cbr\u003e.- Expressive Power of One-Shot Control Operators and Coroutines.\u003cbr\u003e.- Positive Sharing and Abstract Machines.\u003cbr\u003e\u003cstrong\u003e.- Quantum Programming and Logic.\u003c\/strong\u003e\u003cbr\u003e.- IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation.\u003cbr\u003e.- A Quantum-Control Lambda-Calculus with Multiple Measurement Bases.\u003cbr\u003e\u003cstrong\u003e.- Program Analysis, Specifications, and Decision Procedures.\u003c\/strong\u003e\u003cbr\u003e.- Checking Consistency of Event-driven Traces.\u003cbr\u003e.- Specification Inference modulo Oracles for Database-backed Web Applications.\u003cbr\u003e.- Decision Procedures for A Theory of String Sequences.\u003cbr\u003e\u003cstrong\u003e.- AI and Compiler Optimisation for Performance.\u003c\/strong\u003e\u003cbr\u003e.- ELTC: An End-to-End Large Language Model-Based Tensor Compilation Optimization Framework.\u003cbr\u003e.- Performance Optimization of HPC Workloads in Cloud Using AI-Driven Algorithms.\u003c\/p\u003e","brand":"Alex Potanin","offers":[{"title":"Default Title","offer_id":53652057882951,"sku":"9789819535859","price":78.1,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0920\/5455\/2903\/files\/programming-languages-and-systems-ebook-cover.webp?v=1775341530","url":"https:\/\/www.cinebuch.de\/products\/programming-languages-and-systems-ebook","provider":"CineBuch","version":"1.0","type":"link"}