Del 13240 i serien Lecture Notes in Computer Science

Programming Languages and Systems

Name: Programming Languages and Systems
SKU: 9783030993351
Price: 599 SEK
Availability: InStock
Author: Ilya Sergey
ISBN: 9783030993351

31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

Häftad, Engelska, 2022

AvIlya Sergey

599 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (10)

Häftad

1 429 kr

Skickas inom 3-6 vardagar

Inbunden

1 589 kr

Skickas inom 5-8 vardagar

Häftad

739 kr

Skickas inom 10-15 vardagar

Häftad

739 kr

Skickas inom 10-15 vardagar

Häftad

739 kr

Skickas inom 10-15 vardagar

Häftad

599 kr

Skickas inom 10-15 vardagar

Häftad

739 kr

Skickas inom 10-15 vardagar

Häftad

599 kr

Skickas inom 10-15 vardagar

Häftad

1 109 kr

Skickas inom 10-15 vardagar

Häftad

959 kr

Skickas inom 10-15 vardagar

This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.

Produktinformation

Utgivningsdatum2022-03-29
Mått155 x 235 x 34 mm
Vikt925 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor604
Upplaga22001
FörlagSpringer Nature Switzerland AG
ISBN9783030993351

Tillhör följande kategorier

Programspråk inom Data och it

Categorical Foundation of Gradient-Based Learning.- Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference.- Foundations for Entailment Checking in Quantitative Separation Logic.- Extracting total Amb programs from proofs.- Why3-do: The Way of Harmonious Distributed System Proofs.- Relaxed virtual memory in Armv8-A.- Verified Security for the Morello Capability-enhanced Prototype Arm Architecture.- The Trusted Computing Base of the CompCert Verified Compiler.- View-Based Owicki-Gries Reasoning for Persistent x86-TSO.- Abstraction for Crash-Resilient Objects.- Static Race Detection for Periodic Programs.- Probabilistic Total Store Ordering.- Linearity and Uniqueness: An Entente Cordiale.- A Framework for Substructural Type Systems.- A Dependent Dependency Calculus.- Polarized Subtyping.- Structured Handling of Scoped Effects.- Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style.- A Predicate Transformer for Choreographies.- Comparing the expressiveness of the -calculus and CCS.- Concurrent NetKAT.

Mer från samma författare

Del 14512

Practical Aspects of Declarative Languages

Martin Gebser, Ilya Sergey

Häftad, 2024

959 kr

Mer från samma serie

Del 16477

Passive and Active Measurement

Simone Ferlin-Reiter, Romain Fontugne, Johanna Ullrich

Häftad, 2026

1 409 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

739 kr

Del 15427

Internet of Things – ICIOT 2024

Shunli Zhang, Liang-Jie Zhang

Häftad, 2024

819 kr

COLOG-88

Per Martin-Löf, Grigori Mints

Häftad, 1990

719 kr

Compiler Construction

Albert Cohen

Häftad, 2014

709 kr

Del 16375

Interactive Storytelling

María Cecilia Reyes, Frank Nack

Häftad, 2025

719 kr

Theory of Cryptography

Yehuda Lindell

Häftad, 2014

739 kr

Computer Science Logic

Dirk van Dalen, Marc Bezem

Häftad, 1997

739 kr

Reliable Software Technology – Ada-Europe 2005

Tullio Vardanega, Andy Wellings

Häftad, 2005

739 kr

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki - Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries, Häftad

Del 16376

Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki

Häftad, 2026

1 209 kr

Du kanske också är intresserad av

Del 14512

Practical Aspects of Declarative Languages

Martin Gebser, Ilya Sergey

Häftad, 2024

959 kr

Del 13658