Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: cod="ro"
Treffer 1337 von 4541332
|
|
| Link zu diesem Datensatz | https://d-nb.info/1380449634 |
| Titel | Programming Languages and Systems : 23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27–30, 2025, Proceedings / edited by Alex Potanin |
| Person(en) | Potanin, Alex (Herausgeber) |
| Organisation(en) | SpringerLink (Online service) (Sonstige) |
| Ausgabe | 1st ed. 2026 |
| Verlag | Singapore : Springer Nature Singapore, Imprint: Springer |
| Zeitliche Einordnung | Erscheinungsdatum: 2026 |
| Umfang/Format | Online-Ressource, X, 276 p. 80 illus., 27 illus. in color. : online resource. |
| Andere Ausgabe(n) |
Printed edition:: ISBN: 978-981-95-3584-2 Printed edition:: ISBN: 978-981-95-3586-6 |
| Inhalt | -- 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 |
| Persistent Identifier |
URN: urn:nbn:de:101:1-2511010309446.769739554160 DOI: 10.1007/978-981-95-3585-9 |
| URL | https://doi.org/10.1007/978-981-95-3585-9 |
| ISBN/Einband/Preis | 978-981-95-3585-9 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Lecture Notes in Computer Science ; 16201 |
| DDC-Notation | 005.13 (maschinell ermittelte DDC-Kurznotation) |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 1337 von 4541332
Administration
