• Produktbild: Programming Languages and Systems
  • Produktbild: Programming Languages and Systems
Band 13990

Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

39,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.04.2023

Abbildungen

XII, 566 p. 172 illus., 74 illus. in color.

Herausgeber

Thomas Wies

Verlag

Springer

Seitenzahl

566

Maße (L/B/H)

23,5/15,5/3,2 cm

Gewicht

867 g

Auflage

1st ed. 2023

Sprache

Englisch

ISBN

978-3-031-30043-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.04.2023

Abbildungen

XII, 566 p. 172 illus., 74 illus. in color.

Herausgeber

Thomas Wies

Verlag

Springer

Seitenzahl

566

Maße (L/B/H)

23,5/15,5/3,2 cm

Gewicht

867 g

Auflage

1st ed. 2023

Sprache

Englisch

ISBN

978-3-031-30043-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Programming Languages and Systems
  • Produktbild: Programming Languages and Systems
  • Logics for extensional, locally complete analysis via domain refinements.- Clustered Relational Thread-Modular Abstract Interpretation with Local Traces.- Adversarial Reachability for Program-level Security Analysis.- Automated Grading of Regular Expressions.- Builtin Types viewed as Inductive Families.- Pragmatic Gradual Polymorphism with References.- Modal crash types for intermittent computing.- Gradual Tensor Shape Checking.- A Type System for Effect Handlers and Dynamic Labels.- Interpreting Knowledge-based Programs.- Contextual Modal Type Theory with Polymorphic Contexts.- A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests.- Quorum Tree Abstractions of Consensus Protocols.- MAG π : Types for Failure-Prone Communication.- System $Fˆ\mu \omega$ with Context-free Session Types.- Safe Session-Based Concurrency with Shared Linear State.- Bunched Fuzz: Sensitivity for Vector Metrics.- Fast and Correct Gradient-Based Optimisation for Probabilistic Programmingvia Smoothing.- Type-safe Quantum Programming in Idris.- Automatic Alignment in Higher-Order Probabilistic Programming Languages.