Cantitate/Preț
Produs
Total produse
Vezi coșul
Programming Languages and Systems de Nobuko Yoshida

Programming Languages and Systems: Theoretical Computer Science and General Issues

Editat de Nobuko Yoshida
en Limba Engleză Paperback – 23 mar 2021
This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.
The 24 papers included in this volume were carefully reviewed and selected from 79 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.


Citește tot Restrânge

Din seria Theoretical Computer Science and General Issues

Preț: 31465 lei

Preț vechi: 39332 lei
-20% Nou

Puncte Express: 472
Preț estimativ în valută:
5569€ • 6531$ • 4883£

Carte tipărită la comandă

Livrare economică 26 ianuarie-09 februarie 26

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783030720186
ISBN-10: 3030720187
Pagini: 708
Ilustrații: XII, 693 p. 177 illus.
Dimensiuni: 155 x 235 x 38 mm
Greutate: 1.05 kg
Ediția:1st edition 2021
Editura: Springer
Seria Theoretical Computer Science and General Issues

Locul publicării:Cham, Switzerland

Cuprins

The Decidability of Verification under PS 2.0.- Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains.- Types for Complexity of Parallel Computation in Pi-Calculus.- Checking Robustness Between Weak Transactional Consistency Models.- Verified Software Units.- An Automated Deductive Verication Framework for Circuit-building Quantum Programs.- Nested Session Types.- Coupled Relational Symbolic Execution for Differential Privacy.- Graded Hoare Logic and its Categorical Semantics.- Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing.- For a Few Dollars More – Verified Fine-Grained Algorithm Analysis Down to LLVM.- Run-time Complexity Bounds Using Squeezers.- Complete trace models of state and control.- Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols.- Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages.- Densities of Almost Surely Terminating Probabilistic Programs areDifferentiable Almost Everywhere.- Graded Modal Dependent Type Theory.- Automated Termination Analysis of Polynomial Probabilistic Programs.- Bayesian strategies: probabilistic programs as generalised graphical models.- Temporal Refinements for Guarded Recursive Types.- Query Lifting: Language-integrated query for heterogeneous nested collections.- Reverse AD at Higher Types: Pure, Principled and Denotationally Correct.- Sound and Complete Concolic Testing for Higher-order Functions.- Strong-Separation Logic.  

Textul de pe ultima copertă

This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.
The 24 papers included in this volume were carefully reviewed and selected from 79 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.