Muutke küpsiste eelistusi

E-raamat: Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings

Edited by
Teised raamatud teemal:
  • Formaat - PDF+DRM
  • Hind: 4,08 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, ProceedingsSuurem pilt
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

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.



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. 
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97830307201932e.html
Märksõnad: